OntoDLV: An ASP-based System for Enterprise Ontologies

Enterprise/Corporate ontologies are widely adopted to conceptualize business enterprise information. In this area, the semantic peculiarities of Answer Set Programming (ASP), like the Closed World Assumption (CWA) and the Unique Name Assumption (UNA), are more appropriate than the Ontology Web Language (OWL) assumptions, also because such ontologies frequently stem from relational databases, where both CWA and UNA are adopted. This article presents OntoDLV, a system based on ASP for the specification and reasoning on enterprise ontologies. OntoDLV implements a powerful ontology representation language, called OntoDLP, extending (disjunctive) ASP with all the main ontology features including classes, inheritance, relations and axioms. OntoDLP is strongly typed, and includes also complex type constructors, like lists and sets. Importantly, OntoDLV supports a powerful interoperability mechanism with OWL, allowing the user to retrieve information from OWL ontologies, and build rule-based reasoning on top of OWL ontologies. The system is already used in a number of real-world applications including agent-based systems, information extraction, and text classification.

[1]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[2]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[3]  Dieter Pfoser.  Indexing the Trajectories of Moving Objects , 2002 .

[4]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[5]  Nicola Leone,et al.  Exploiting ASP for Semantic Information Extraction , 2005, Answer Set Programming.

[6]  Volker Haarslev,et al.  Racer: A Core Inference Engine for the Semantic Web , 2003, EON.

[7]  David B Eichelberger.  the logic of objects , 2010 .

[8]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[9]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[10]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[11]  F. Ricca,et al.  Visual Querying and Application Programming Interface for an ASP-based Ontology Language ⋆ , 2007 .

[12]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[13]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[14]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[15]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[16]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[17]  Nicola Leone,et al.  Disjunctive logic programming with types and objects: The DLV+ system , 2007, J. Appl. Log..

[18]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[19]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[20]  Giovambattista Ianni,et al.  External sources of knowledge and value invention in logic programming , 2007, Annals of Mathematics and Artificial Intelligence.

[21]  Michael Kifer,et al.  Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web , 2003, OTM.

[22]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[23]  Theresa Swift,et al.  Deduction in Ontologies via ASP , 2004, LPNMR.

[24]  Stijn Heymans,et al.  Integrating Semantic Web Reasoning and Answer Set Programming , 2003, Answer Set Programming.

[25]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[26]  Danny De Schreye,et al.  A Strong Correspondence between Description Logics and Open Logic Programming , 1997, ICLP.

[27]  Ian Horrocks,et al.  Combining logic programs with description logics , 2003, The Web Conference.

[28]  Sergio Greco,et al.  COMPLEX: An Object-Oriented Logic Programming System , 1992, IEEE Trans. Knowl. Data Eng..

[29]  Jeff Heflin,et al.  An Evaluation of Knowledge Base Systems for Large OWL Datasets , 2004, SEMWEB.

[30]  Ian Horrocks,et al.  DAML+OIL: A Reason-able Web Ontology Language , 2002, EDBT.

[31]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[32]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[33]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[34]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[35]  Riccardo Rosati,et al.  Integrating Ontologies and Rules: Semantic and Computational Issues , 2006, Reasoning Web.

[36]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[37]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[38]  Hans Tompits,et al.  A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming , 2005, IJCAI.

[39]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[40]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.