Web Semantics: Science, Services and Agents on the World Wide Web

a b s t r a c t This work is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta-modelling. For this, we introduce the Description Logic SHIQM which is obtained from SHIQ by adding statements that equate individuals to concepts in a knowledge base. In this new extension, concepts can be individuals of another concept (called meta-concept) which itself can be an individual of yet another concept (called meta-meta-concept) and so on. We define an algorithm that checks consistency of SHIQM by modifying the Tableau algorithm for SHIQ. From the practical point of view, this has the advantage that we can reuse the code of existing OWL reasoners. From the theoretical point of view, it has a similar advantage of reuse. We make use of the existing results and proofs that lead to correctness of the algorithm for SHIQ in order to prove correctness of the algorithm for SHIQM.

[1]  Lawrence S. Moss,et al.  Vicious circles - on the mathematics of non-wellfounded phenomena , 1996, CSLI lecture notes series.

[2]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[3]  Winfried Just,et al.  Discovering Modern Set Theory , 1995 .

[4]  Jenny Donovan,et al.  “Vicious Circles” , 2014, Qualitative health research.

[5]  Maurizio Lenzerini,et al.  Higher-Order Description Logics for Domain Metamodeling , 2011, AAAI.

[6]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[7]  Duminda Wijesekera,et al.  An Algebra for Composing Ontologies , 2006, FOIS.

[8]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[9]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2005, J. Log. Comput..

[10]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[11]  Johanna Völker,et al.  Integrated Metamodeling and Diagnosis in OWL 2 , 2010, SEMWEB.

[12]  Ian Horrocks,et al.  Extending Datatype Support in Web Ontology Reasoning , 2002, OTM.

[13]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[14]  Carsten Lutz,et al.  Complexity of Terminological Reasoning Revisited , 1999, LPAR.

[15]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[16]  Vojtech Svátek,et al.  Towards Typed Higher-Order Description Logics , 2013, Description Logics.

[17]  Bijan Parsia,et al.  Easy Keys for OWL , 2008, OWLED.

[18]  R. Hindley.  The Principal Type-Scheme of an Object in Combinatory Logic , 1969 .

[19]  Maurizio Lenzerini,et al.  Making Metaquerying Practical for Hi(DL - Lite R ) Knowledge Bases , 2014, OTM Conferences.

[20]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[21]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[22]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[23]  Gerd Gröner,et al.  Modelling and Reasoning in Metamodelling Enabled Ontologies , 2010, Int. J. Softw. Informatics.

[24]  Paula Severi,et al.  Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy , 2014, JIST.

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

[26]  Johanna Völker,et al.  Integrated Metamodeling and Diagnosis in OWL 2 Technical Report Nr . 3006 Institute AIFB , KIT , 2010 .

[27]  Glynn Winskel,et al.  Set Theory for Computer Science , 2009 .

[28]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[29]  Jeff Z. Pan,et al.  OWL FA: a metamodeling extension of OWL D , 2006, WWW '06.

[30]  Vojtech Svátek,et al.  Typed Higher-Order Variant of SROIQ - Why Not? , 2014, Description Logics.