Analogical Reasoning in Description Logics

This work presents a method founded in instance-based learning for inductive (memory-based) reasoning on ABoxes. The method, which exploits a semantic dissimilarity measure between concepts and instances, can be employed both to answer class membership queries and to predict new assertions that may be not logically entailed by the knowledge base. These tasks may be the baseline for other inductive methods for ontology construction and evolution. In a preliminary experimentation, we show that the method is sound and it is actually able to induce new assertions that might be acquired in the knowledge base.

[1]  Nicola Fanizzi,et al.  A Dissimilarity Measure for the ALC Description Logic , 2005, SWAP.

[2]  Arkadiusz Wojna,et al.  RIONA: A Classifier Combining Rule Induction and k-NN Method with Automated Selection of Optimal Neighbourhood , 2002, ECML.

[3]  Ian Witten,et al.  Data Mining , 2000 .

[4]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[5]  Philip Resnik,et al.  Semantic Similarity in a Taxonomy: An Information-Based Measure and its Application to Problems of Ambiguity in Natural Language , 1999, J. Artif. Intell. Res..

[6]  Dov M. Gabbay,et al.  Mathematical Problems from Applied Logic I , 2006 .

[7]  Mathieu d'Aquin,et al.  Decentralized Case-Based Reasoning for the Semantic Web , 2005, SEMWEB.

[8]  A. Tversky.  Features of Similarity , 1977 .

[9]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[10]  Francesco M. Donini,et al.  Deduction in Concept Languages: From Subsumption to Instance Checking , 1994, J. Log. Comput..

[11]  Nicola Fanizzi,et al.  A Declarative Kernel for ALC Concept Descriptions , 2006, ISMIS.

[12]  William W. Cohen,et al.  Learning the Classic Description Logic: Theoretical and Experimental Results , 1994, KR.

[13]  Thomas Mantay.  Commonality-Based ABox Retrieval , 2000 .

[14]  Nicola Fanizzi,et al.  Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods , 2007, KES.

[15]  Ralf Küsters,et al.  Computing Least Common Subsumers in Description Logics with Existential Restrictions , 1999, IJCAI.

[16]  Nicola Fanizzi,et al.  A dissimilarity measure for ALC concept descriptions , 2006, SAC '06.

[17]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[18]  Dietrich Wettschereck,et al.  Relational Instance-Based Learning , 1996, ICML.

[19]  Shusaku Tsumoto,et al.  Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings , 2005, ISMIS.

[20]  Lakhmi C. Jain,et al.  Knowledge-Based Intelligent Information and Engineering Systems , 2004, Lecture Notes in Computer Science.

[21]  Fahiem Bacchus,et al.  Lp, a logic for representing and reasoning with statistical knowledge , 1990, Comput. Intell..

[22]  Nicola Fanizzi,et al.  Reasoning by Analogy in Description Logics Through Instance-based Learning , 2006, SWAP.

[23]  Enrico Motta,et al.  The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.

[24]  Ralf Küsters,et al.  Approximation and Difference in Description Logics , 2002, KR.

[25]  Ali R. Hurson,et al.  Automated resolution of semantic heterogeneity in multidatabases , 1994, TODS.

[26]  Pascal Hitzler,et al.  Resolution-Based Approximate Reasoning for OWL DL , 2005, SEMWEB.

[27]  F. Baader.  Non-Standard Inferences in Description Logics : The Story So Far , 2005 .

[28]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[29]  Hans-Hermann Bock,et al.  Analysis of Symbolic Data: Exploratory Methods for Extracting Statistical Information from Complex Data , 2000 .

[30]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[31]  Tapio Elomaa,et al.  Machine Learning: ECML 2002 , 2002, Lecture Notes in Computer Science.

[32]  Hans-Hermann Bock,et al.  Analysis of Symbolic Data , 2000 .

[33]  Luigi Iannone,et al.  Knowledge-Intensive Induction of Terminologies from Metadata , 2004, SEMWEB.

[34]  Alexander Borgida,et al.  Towards Measuring Similarity in Description Logics , 2005, Description Logics.

[35]  Dov M. Gabbay,et al.  Mathematical Problems from Applied Logic II: Logics for the XXIst Century , 2007 .

[36]  Ralf Küsters,et al.  Nonstandard Inferences in Description Logics: The Story So Far , 2006 .