- From: <henry.story@bblfish.net>
- Date: Sat, 8 Mar 2014 12:40:35 +0100
- To: Semantic Web <semantic-web@w3.org>
- Message-Id: <8266ECE6-988A-4B65-81E5-6878B3B1D226@bblfish.net>
How do I say in owl that:
{ ?subj :bindingRule ?obj . ?obj a SomeType; subject ?otherObj } => { ?subj owl:sameAs ?otherObj }
SomeType owl:equivalentClass [ a owl:Restriction;
owl:onProperty [ rdfs:subPropertyOf [ owl:propertyChainAxiom ( :subject :bindingRule )];
a owl:ReflexiveProperty ];
owl:minCardinality 1 ] .
I tried that but Pellet does not like it.
I get errors such as
Mar 08, 2014 12:20:48 PM org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader addUnsupportedFeature
WARNING: Unsupported axiom: Ignoring ReflexiveProperty axiom for bnode(-5a724b96:144a16c8524:-7fec) (UntypedProperty)
Mar 08, 2014 12:20:48 PM org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader addUnsupportedFeature
WARNING: Unsupported axiom: Invalid value for the owl:minCardinality restriction: "1"^^http://www.w3.org/2001/XMLSchema#integer
Mar 08, 2014 12:20:48 PM org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader createRestriction
WARNING: Invalid cardinality
Henry
Social Web Architect
http://bblfish.net/
Received on Saturday, 8 March 2014 11:41:40 UTC