Some Description Logic.pdf

Incremental extensions to OWL-DL, tractable logic fragments, future work OWL 1.1: Proposed extensions to OWL David Ratcliffe Software Engineer CSIRO ICT Centre, Canberra Information Engineering Laboratory Web Services and Data Integration www.ict.csiro.au Overview
OWL (Web Ontology Language): Background
What is OWL
Description Logic
OWL 1.1
OWL: Experiences and Directions workshop (2005)
Modelling – New features
Tractability – Tractable logic fragments
Current progress
Beyond OWL 1.1 www.ict.csiro.au What is OWL?
Web Ontology Language
Ontology vocabulary for the Semantic Web designed to be human and machine processable
Ontology is a formal specification of a domain to be shared between large groups of stakeholders
Supersets RDF/S providing more expressive power
Divided into three ‘species’: OWL-Lite, OWL-DL, OWL-Full (layered according to expressiveness)
Reasoning tasks in OWL-Lite, OWL-DL are decidable
OWL-Lite/DL based on Description Logics (DL)
Well founded, researched and supported
Automated reasoners exist for various DLs (Racer, Pellet, FaCT++, Cerebra, KAON2, CEL, etc…)
OWL-DL: Description logic SHOIN (D+)
OWL-Lite: Description logic SHIF (D+) www.ict.csiro.au Some Description Logic
Class (Concept) Human, MaleHuman, FemaleHuman
Instance MaleHuman(John), FemaleHuman(Sarah)
Property (Role) hasFriend(John, Sarah)
Axioms
Subsumption Human MaleHuman Human FemaleHuman
Disjointness MaleHuman FemaleHuman
Property cardinality Car hasWheels 4 hasWheels 4
Property quantification Car hasPart.Engine hasDriver.Human www.ict.csiro.au OWL 1.1: Extensions to OWL-DL OWL 1.1 Modelling ? Syntactic sugar – Disjointness axioms, value restrictions ? Meta-modelling – Punning, semantic-free comments ? Property constructs – Role composition, etc ? Datatype expressiveness – Extended support Tractability ? Tractable logic fragments – Eg. EL++, DL-Lite Current state Future www.ict.csiro.au OWL 1.1: Syntac