OWL A Description Logic Based Ontology Language一种基于描述逻辑的本体语言.pptVIP

Hybrid Logics and Ontology Languages Ian Horrocks horrocks@cs.man.ac.uk Information Management Group School of Computer Science University of Manchester Talk Outline Introduction to Description Logics Ontologies and OWL OWL ontology language Ontology applications Nominals in Ontology Languages Ontology Reasoning Tableaux algorithms Reasoning with nominals Conjunctive Query Answering Using binders and state variables Summary Introduction to Description Logics What Are Description Logics? A family of logic based Knowledge Representation formalisms Descendants of semantic networks and KL-ONE Describe domain in terms of concepts (classes), roles (properties, relationships) and individuals Distinguished by: Formal semantics (typically model theoretic) Decidable fragments of FOL (often contained in C2) Closely related to Propositional Modal, Hybrid Dynamic Logics Closely related to Guarded Fragment Provision of inference services Decision procedures for key problems (satisfiability, subsumption, etc) Implemented systems (highly optimised) DL Basics Concepts (formulae) E.g., Person, Doctor, HappyParent, (Doctor t Lawyer) Roles (modalities) E.g., hasChild, loves Individuals (nominals) E.g., John, Mary, Italy Operators (for forming concepts and roles) restricted so that: Satisfiability/subsumption is decidable and, if possible, of low complexity No need for explicit use of variables Restricted form of 9 and 8 (direct correspondence with hii and [i]) Features such as counting (graded modalities) succinctly expressed The DL Family (1) Smallest propositionally closed DL is ALC (equivalent to K(m)) Concepts constructed using booleans u, t, :, plus restricted quantifiers 9, 8 Only atomic roles E.g., Person all of whose children are either Doctors or have a child who is a Doctor: Person u 8hasChild.(Doctor t 9hasChild.Doctor) The DL Family (1) Smallest propositionally closed DL is ALC (equivalent to K(m)) Concepts constructed using booleans u, t, :, plus rest