Protege: Object Property Constraints 1
I am using Protege 4.3 to create my first ontology, so I faced several problems
let's say we have classes Shop
, Mall
and Person
, and properties works-in
andis-part-of
So, the first problem: we want: if Person
works-in
Shop
and Shop
is-part-of
Mall
thenPerson
works-in
Mall
I tried to add a chain of properties works-in o is-part-of
to the property is-part-of
, but then the sane died when I activated it
Any idea how to solve this?
thank
source to share
To answer your first question: you are looking for property chains. In Protege you can tell what works-in o is-part-of
subPropertyOf (Chain) is works-in
, this will give you the expected outputs
EDIT: I did the following experiment:
a) create a generic ontology after your description (in Manchester syntax):
Ontology: <http://www.semanticweb.org/o>
ObjectProperty: <http://www.semanticweb.org/o#works-in>
SubPropertyChain:
<http://www.semanticweb.org/o#works-in> o <http://www.semanticweb.org/o#is-part-of>
ObjectProperty: <http://www.semanticweb.org/o#is-part-of>
Domain:
<http://www.semanticweb.org/o#Department> or <http://www.semanticweb.org/o#Shop>
Range:
<http://www.semanticweb.org/o#Mall> or <http://www.semanticweb.org/o#Shop>
Class: <http://www.semanticweb.org/o#Shop>
Class: <http://www.semanticweb.org/o#Mall>
Class: <http://www.semanticweb.org/o#Department>
Class: <http://www.semanticweb.org/o#Person>
b) Add some people to this ontology to test the output. After classification with FaCT ++, Protege shows that person1 is connected to mall1 via work-in. Additional axioms are as follows: Individual: <http://www.semanticweb.org/o#shop1>
Types:
<http://www.semanticweb.org/o#Shop>
Facts:
<http://www.semanticweb.org/o#is-part-of> <http://www.semanticweb.org/o#mall1>
Individual: <http://www.semanticweb.org/o#mall1>
Types:
<http://www.semanticweb.org/o#Mall>
Individual: <http://www.semanticweb.org/o#person1>
Types:
<http://www.semanticweb.org/o#Person>
Facts:
<http://www.semanticweb.org/o#works-in> <http://www.semanticweb.org/o#shop1>
c) Add the axioms saying that the Human works in the Store, and the Store is part of the Mall for the ontology from a). In this case, again, Person is part of the WorksInMall class, which indicates that the property chain axiom is respected. Additional axioms:
Class: <http://www.semanticweb.org/o#WorksInMall>
EquivalentTo:
<http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Mall>
Class: <http://www.semanticweb.org/o#Person>
SubClassOf:
<http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Shop>
Class: <http://www.semanticweb.org/o#Shop>
SubClassOf:
<http://www.semanticweb.org/o#is-part-of> some <http://www.semanticweb.org/o#Mall>
source to share