UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes

UI-FAME is a Java-based forgetting system for creating views of ALC-TBoxes. The system implements the method developed in our previous work for forgetting concept and role names from ALC-TBoxes. In this paper, we introduce UI-FAME and compare it with LETHE, a peer forgetting system for ALC-ontologies and many its extensions, over the ALC-TBox fragment of 494 realistic ontologies taken from the Oxford Ontology Repository. The comparison considers success rates, speed, memory consumption as the principal indicators to assess the performance of the two systems. For validation purpose, we also explore the semantic relationships between the views computed by the two systems. The experimental results showed that UI-FAME attained in general better success rates and performance results than LETHE. We found that in 97.08% cases UI-FAME and LETHE computed logically equivalent views, in 2.06% cases LETHE’s solution entailed UI-FAME’s solution but not the other way round, in 0.79% cases UI-FAME’s solution entailed LETHE’s solution but not the other way round, and in 0.07% cases they had no mutual entailment relationship. This was somewhat undesirable and thus needs further investigation.

[1]  Rafael Peñaloza,et al.  Repairing Ontologies via Axiom Weakening , 2017, AAAI.

[2]  Michel C. A. Klein,et al.  Ontology versioning on the Semantic Web , 2001, SWWS.

[3]  Harald Ganzinger,et al.  Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.

[4]  Martin Hepp,et al.  Ontology Management, Semantic Web, Semantic Web Services, and Business Applications , 2008, Ontology Management.

[5]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[6]  Dan Schrimpsher,et al.  Dynamic ontology version control , 2010, ACM SE '10.

[7]  Yan Zhang,et al.  Forgetting Revisited , 2010, KR.

[8]  Boris Konev,et al.  Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey , 2016, RW.

[9]  Sebastian Rudolph,et al.  (Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL , 2014, Artif. Intell..

[10]  Patrick Lambrix,et al.  Ontology Alignment and Merging , 2008, Anatomy Ontologies for Bioinformatics.

[11]  Boris Konev,et al.  Model-theoretic inseparability and modularity of description logic ontologies , 2013, Artif. Intell..

[12]  Mark A. Musen,et al.  Ontology versioning in an ontology management framework , 2004, IEEE Intelligent Systems.

[13]  Hao Feng,et al.  Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach , 2019, AAAI.

[14]  Renate A. Schmidt,et al.  FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics , 2018, IJCAR.

[15]  Renate A. Schmidt,et al.  Role Forgetting for ALCOQH ( O )-Ontologies Using an Ackermann-Based Approach , 2017 .

[16]  Patrick Koopmann,et al.  Practical uniform interpolation for expressive description logics , 2015 .

[17]  Renata Wassermann,et al.  Base Revision for Ontology Debugging , 2009, J. Log. Comput..

[18]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[19]  Carsten Lutz,et al.  Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics , 2011, IJCAI.

[20]  Abdul Sattar,et al.  Merging and Aligning Ontologies in dl-Programs , 2005, RuleML.

[21]  W. Ackermann.  Untersuchungen über das Eliminationsproblem der mathematischen Logik , 1935 .

[22]  Carsten Lutz,et al.  An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL , 2012, KR.

[23]  Boris Konev,et al.  Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies , 2009, IJCAI.

[24]  Ian Horrocks,et al.  An Introduction to Description Logic , 2017 .

[25]  Boris Konev,et al.  The Logical Difference Problem for Description Logic Terminologies , 2008, IJCAR.

[26]  Boris Konev,et al.  Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference , 2014, KR.