AMRUTA PRIYA MOGILINEEDI email@example.com. OWL 2 Web Ontology Language. Topics. Introduction to OWL Usage of OWL Problems with OWL 1 Solutions from OWL 2. OWL Introduction.
AMRUTA PRIYA MOGILINEEDI firstname.lastname@example.org
Web Ontology Language
1. OWL Lite
2. OWL DL
3. OWL Full
1) Qualified Cardinality Restriction
2) Relational Expressivity
3) Data type Expressivity
i) Define a quadruped animal with exactly 4 parts that are legs.
ii) Medical Committee consisting of at least 5 members, 2 are medically qualified, 1 is manager and 2 are public members
Ex: “Abnormality of a part of an anatomical structure constitutes an abnormality of the structure as a whole”.
Ex: “If x is part of y and y is part of z then x is part of z”
reflexive(every object is a part of itself) asymmetric (nothing is a part of one of its parts).
1) restrictions to a subset of datatype values
2) relationships between values of data properties on one object
3) relationships between values of data properties on different objects
Ex: “US Citizens are uniquely identified by their SSN”
This is not possible
1. Abstract Syntax
2. OWL 1 RDF
Ex: “Tiger is a Class and it is a subclass of Class Cat”
Class(Tiger partial Cat)
“Class Tiger is a subclass of Class Predator”
Ans: Cat and Predator
Ex: restriction( hasParent
This can be translated into
(A, owl:unionOf, _:x1)
(_:x1, rdf:first, B)
(_:x1, rdf:rest, _:x2)
(_:x2, rdf:first, C)
(_:x2, rdf:rest, rdf:nil)
This is difficult to read
“Eagles are endangered species”
--Individual Harry is an instance of Class Eagle
--Individual Eagle id an instance of Class Endangered Species.
Ex: “If a contains b and b has a part c, then a also contains c”
Ex: “If b is part of a and b contains c , then c is also a part of a”
---Cycle of dependency between contains and hasPart
This states that object or data type properties Pi are keys for instance of Class C.
Ex: HashKey(Person hasSSN)
PropertyAssertion(PSmith hasSSN “123-45-6789”)
PropertyAssertion(PeterSmith hasSSN “123-45-6789”)
---Psmith and PeterSmith are same individuals.
Ex: Jane is connected through marriedTo to an individual x that is an instance of Man and that has “123-45-6789” as the value of hasSSN.
--We cannot conclude that
Both P and Q must be declared, otherwise we cannot conclude whether they are objects or data type properties.
“Harry is an Eagle”
This can be interpreted in OWL 2 as
---This type of meta modeling is referred as Punning.
---Annotations do not affect the semantics of ontology but they do affect the structural equivalence.
This is semantically equivalent to the above one
but not structurally.