1. 1 MASWS Multi-Agent Semantic Web Systems: OWL Stephen Potter, CISA, School of Informatics, University of Edinburgh, Edinburgh, UK. stephenp@inf.ed.ac.uk

2. 2 MASWS OWL: Web Ontology Language l Description Logics have…: –…well-defined semantics; –…tractable inference algorithms. l OWL (Web Ontology Language) is… –…an ontology language based on DLs for the Semantic Web; –…a W3C standard; –…built on top of RDF (and semantically extends RDF(S)); –…expressed using an RDF/XML syntax.

3. 3 MASWS The Description Logics Family l ALC –Sound and complete subsumption testing l ALCN –ALC + number restriction  n R l ALC R+ –ALC + transitively closed roles l SHIQ –SH family: ALC + transitive roles and role hierarchy l SHOQ(D) –Adds datatypes (D) and enumerated types to SHIQ l SHIF(D) –Adds datatypes transitive roles and role hierarchy, plus functional attributes to SHIQ (OWL-Lite) l SHOIN(D) –Adds nominals to class descriptions (oneOf {a,b,c}) and arbitrary cardinality constraints (OWL-DL)

4. 4 MASWS OWL and the Semantic Web l XML provides document syntax; l XML Schema allows structuring of documents plus datatypes; l RDF provides a data model for talking about objects (resources) and their relationships; l RDF Schema provides a simple vocabulary for describing properties and classes of resources. l OWL provides a richer language for describing properties and classes –Eg. provides some relations between classes (such as disjointedness), characteristics of properties, cardinality, etc

5. 5 MASWS OWL Species l OWL-Full: few restrictions on use of language constructs, but not decidable (closer to FOL). –Use if expressiveness is more important than complete reasoning. l OWL-DL: restricted version of OWL-Full, but with restrictions on the use of the language constructs to ensure decidability. Corresponds to a description logic. l OWL-Lite: a subset of OWL-DL – a simple description logic. –Use for simple class hierarchies with simple constraints; –(Provides a migration path for existing thesauri/taxonomies)

6. 6 MASWS OWL Ontologies l OWL allows for the distributed nature of the web in several ways: –An ontology can be related to other ontologies (eg., by explicitly importing definitions). –OWL makes an open-world assumption (definitions not confined to a single scope) – something is false only if it can be proved to contradict other information in the ontology –OWL propositions are monotonic, that is, new information can never retract previous information – facts and entailments can be added, never deleted (however this new information can be contradictory). l Allows TBox (terminological statements) and ABox (assertions/individuals) to be represented.

7. 7 MASWS Components of an OWL ontology l Classes l Properties l Individuals Thing Country Human James United Kingdom livesInCountry

8. 8 MASWS <!DOCTYPE rdf:RDF [... ]> <rdf:RDF xmlns = "http://www.inf.ed.ac.uk/ontology/example#" xml:base = " http://www.inf.ed.ac.uk/ontology/example#“... xmlns:owl = "http://www.w3.org/2002/07/owl#“> First Things First l Introduce any XML namespace declarations: –Allows identifiers to be specified unambiguously –Makes the ontology more readable. An example OWL ontology Example Ontology... l Declare the ontology and any meta-information

9. 9 MASWS OWL Classes l OWL supports a number of different ways of defining a class. l In OWL-Lite: –As a simple named class; l …and in OWL-DL: –As the intersection of other classes; –As the union of other classes; –As the complement of another class; –Using class restrictions; –By enumerating the class.

10. 10 MASWS Named Classes If not stated, a class is assumed to be a subclass of owl:Thing : l Human ⊑ ⊤ Use rdfs:subClassOf to explicitly subclass another class: l Student ⊑ Human Thing Human Student

11. 11 MASWS OWL Individuals l Using a class definition: l …we can now create individuals of this class: l and perhaps elsewhere provide additional information: Student James_Smith

12. 12 MASWS OWL Properties l In DLs properties allow us to define general relationships between classes, and specific relationships between individuals. l OWL distinguishes between two types of properties: –Datatype properties describe relationships between individuals of some class and RDF literals or XML Schema datatypes. –Object properties describe relationships between individuals of two classes. Range Domain Property relationship

13. 13 MASWS OWL Properties l Eg: – : hasName l Eg: – : livesInCountry

14. 14 MASWS Property Characteristics l In addition, a property can be defined to be: –FunctionalProperty : a given individual has only one value of the property (eg. hasDateOfBirth). –InverseFunctionalProperty : the inverse of the property is functional (eg. birthDateOf). –SymmetricProperty : if a property relates x to y, then it can be inferred that it relates y to x (eg. nextTo). –TransitiveProperty : if a property relates x to y, and y to z, then it can also be inferred that it relates x to z (eg. locatedIn). –subPropertyOf another property. –inverseOf : (eg. birthDateOf is inverse of hasDateOfBirth).

15. 15 MASWS OWL-DL Classes l OWL supports a number of different ways of defining a class. l In OWL-Lite: –As a simple named class; l …and in OWL-DL: –Using property restrictions; –As the intersection of other classes; –As the union of other classes; –As the complement of another class; –By enumerating the class.

16. 16 MASWS Property Restrictions l Property Restrictions define a class of individuals based on the nature and/or number of relationships in which they participate. l Restrictions can be considered to fall into three groups: –Quantifier restrictions ( someValuesFrom, allValuesFrom ). –Cardinality restrictions ( cardinality, minCardinallity, maxCardinality ). –hasValue restriction.

17. 17 MASWS someValuesFrom Restriction The ‘existential’ restriction ( ∃ ). l Read as ‘has some values from’ or ‘at least one’. l Describes the class of individuals that have at least one kind of relationship along the specified property with an individual that is a member of a specified class. So: ∃R.C defines the class of individuals that are in at least one relationship R with an individual of class C. So: ∃eats.Plant defines the class of individuals that eat some/at least one (individuals from the set of) Plants. { x | ∃y.(eats(x,y) ⋀ Plant(y)) }

18. 18 MASWS someValuesFrom Restriction Plant ∃eats.Plant eats eats

19. 19 MASWS allValuesFrom Restriction The ‘universal’ restriction ( ∀ ). l Read as “has all values from” or “only”. l Describes the class of individuals that if they are in a particular relationship along the specified property, it is only with individuals that are a member of the specified class. So: ∀R.C defines the class of individuals that, if they are in relationship R, it is only with individuals of class C. So: ∀eats.Plant defines the class of individuals that, if they eat anything, they eat only (individuals from the set of) Plants. l { x | ∀y.(eats(x,y) → Plant(y)) } eats(a,b)Plant(b)→ false true falsetrue false true

20. 20 MASWS allValuesFrom Restriction Plant ∀eats.Plant eats eats

21. 21 MASWS Cardinality Restrictions l For a given property, cardinality restrictions allow us to define the number of relationships that individuals of a class participate in: –cardinality ("exactly"), minCardinality ("at least"), maxCardinality ("at most"). –Restricted to values of 0 and 1in OWL-Lite (positive integers allowed in OWL-DL). 1 Note: stronger than a functionalProperty :...every student has exactly one matric. number

22. 22 MASWS hasValue Restrictions hasValue restrictions allow us to define the class of individuals which have a particular property relationship with a particular individual. Country livesInCountry ∋ UnitedKindom livesInCountry UnitedKindom France

23. 23 MASWS Intersection of Classes: intersectionOf l Class defined as the intersection of two or more classes: l Woman ≡ Human ⊓ Female l (Could use more complicated class definitions.) Female Human

24. 24 MASWS Union of Classes: unionOf l Class defined as the union of two or more classes: l Parent ≡ Father ⊔ Mother Father Mother

25. 25 MASWS Complement Classes: complementOf l Class defined as the complement of another class: l Childless ≡ ¬ Parent Parent Childless

26. 26 MASWS Enumerated Classes: oneOf l An enumerated class is specified by explicitly and exhaustively listing the individuals that are members of the class. HolidayDestinations Greece Spain Italy

27. 27 MASWS Disjointness: disjointWith l Specifying disjointness ensures that a member of one class is not also a member of any disjoint class. l ie., An animal cannot also be a plant nor a mineral. l Note: this does not imply that Plant and Mineral are also disjoint - we need to say this explicitly!

28. 28 MASWS Equivalences l We can say that a class (property, individual) is equivalent to a second class (property, individual). –indicates that the two classes (properties) have exactly the same instances (tuples) as members. –(use equivalentProperty for properties, and owl:sameAs for individuals.) equivalentClass allows the specification of necessary and sufficent conditions for class membership ( subClassOf gives just necessary). l Can be used for relating elements of one ontology to those of another. Can also say that two individuals are differentFrom each other.

29. 29 MASWS Ontology Versioning l OWL recognises the fact that ontologies develop over time: Also backwardCompatibleWith and incompatibleWith. l Can indicate that particular classes/properties have become deprecated. –Only in OWL-Full can you make these sorts of statements… –…and the semantics are not defined anyway.......

30. 30 MASWS Reasoning in OWL-DL l For OWL-Lite and OWL-DL ontologies, we can use automated reasoners to infer information that is not explicitly stated in the ontology. l Standard reasoning 'services' include: –classification: construct class hierarchy based on definitions of the classes. –subsumption testing: does C⊑ D ? ie. do all members of set C necessarily belong to set D under all possible interpretations? –equivalence testing: does C≡D ? ie. is set C equivalent to set D under all possible interpretations? –satisfiability/consistency testing: is C consistent wrt TBox? ie. is the set C non-empty under at least one interpretation? –instance checking: is a given individual an instance of a specified class?

31. 31 MASWS OWL Summary l OWL is a W3C standard language for specifying ontologies for the Semantic Web: –language includes some elements that support distributed ontology and knowledge base use/development. l It is layered on top of RDF and RDFS, and is based on description logics. l There are three species of OWL: OWL-Lite, OWL-DL and OWL-Full. l We can perform reasoning over ontologies written in OWL-Lite and OWL-DL.

32. 32 MASWS Further Reading… l W3C OWL web site: –http://www.w3.org/2004/OWL/ l OWL Web Ontology Language Overview: –http://www.w3.org/TR/2004/REC-owl-features-20040210/ l CO-ODE web site: –http://www.co-ode.org/