W3C home > Mailing lists > Public > semantic-web@w3.org > March 2014

OWL reflective restriction question

From: <henry.story@bblfish.net>
Date: Sat, 8 Mar 2014 12:40:35 +0100
Message-Id: <8266ECE6-988A-4B65-81E5-6878B3B1D226@bblfish.net>
To: Semantic Web <semantic-web@w3.org>
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

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:41:41 UTC