- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Wed, 3 Jul 2019 12:28:53 +0200
- To: public-owl-dev@w3.org
From an OWL inference point of view, the two design patterns give identical results. However, the two structures may lead to different behaviours: 1) different optimisations can apply to different structures, even if they are equivalent 2) for data processing other than OWL reasoning (query answering, indexing, graph analysis, etc), the shape of the graph is important. In general, the structure with owl:intersectionOf is more cumbersome and should be avoided in the right-hand-side of a subClassOf axiom. --AZ Le 03/07/2019 à 09:38, Vatascinova, Jana a écrit : > Hello, > > When creating an ontology, I needed to assign multiple subclass > relationships to one class. I came across two ways for how it can be > represented and I would like to ask what the difference between the two > is. I couldn’t find the difference mentioned anywhere and I tried > reasoning on some simple examples and got the same results. The first > option is to assert all the subclass statements individually, the other > option is to use intersectionOf. Examples: > > 1) > > :Approver rdfs:subClassOf [ > > a owl:Restriction ; > > owl:allValuesFrom :Request ; > > owl:onProperty :context > > ], [ > > a owl:Restriction ; > > owl:allValuesFrom schema:Person ; > > owl:onProperty :roleOf > > ] . > > 2) > > :Approver rdfs:subClassOf [ > > a owl:Class; > > owl:intersectionOf ( [ a owl:Restriction ; > > owl:allValuesFrom :Request ; > > owl:onProperty :context ] > > [ a owl:Restriction ; > > owl:allValuesFrom schema:Person ; > > owl:onProperty :roleOf ] > > ) > > ] . > > Thank you in advance, > > Jana > > Notice: This e-mail message, together with any attachments, contains > information of Merck & Co., Inc. (2000 Galloping Hill Road, Kenilworth, > New Jersey, USA 07033), and/or its affiliates Direct contact information > for affiliates is available at > http://www.merck.com/contact/contacts.html) that may be confidential, > proprietary copyrighted and/or legally privileged. It is intended solely > for the use of the individual or entity named on this message. If you are > not the intended recipient, and have received this message in error, > please notify us immediately by reply e-mail and then delete it from > your system. > -- Antoine Zimmermann Institut Henri Fayol École des Mines de Saint-Étienne 158 cours Fauriel CS 62362 42023 Saint-Étienne Cedex 2 France Tél:+33(0)4 77 42 66 03 Fax:+33(0)4 77 42 66 66 http://www.emse.fr/~zimmermann/ Member of team Connected Intelligence, Laboratoire Hubert Curien
Received on Wednesday, 3 July 2019 10:29:18 UTC