Techreport3017: Unterschied zwischen den Versionen
Nni (Diskussion | Beiträge) |
Nni (Diskussion | Beiträge) |
||
Zeile 14: | Zeile 14: | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Recently, non-standard reasoning problems have gained the attention from the research community. Amongst others, different forgetting (or uniform interpolation) approaches for knowledge bases expressed in different logics were proposed. It was shown that the result may not exist in the presence of terminological cycles and sufficient, but not necessary conditions for its existence were proposed. In this paper, we show that a uniform interpolant of any EL terminology w.r.t. any signature always exists in EL enriched with least and greatest fixpoint constructors and show how it can be computed by reducing the problem to the computation of Most General Subconcepts and Most Specific Superconcepts for atomic concepts. Moreover, we give the exact conditions for the existence of a uniform interpolant in EL and show how it can be obtained using our algorithms. | |Abstract=Recently, non-standard reasoning problems have gained the attention from the research community. Amongst others, different forgetting (or uniform interpolation) approaches for knowledge bases expressed in different logics were proposed. It was shown that the result may not exist in the presence of terminological cycles and sufficient, but not necessary conditions for its existence were proposed. In this paper, we show that a uniform interpolant of any EL terminology w.r.t. any signature always exists in EL enriched with least and greatest fixpoint constructors and show how it can be computed by reducing the problem to the computation of Most General Subconcepts and Most Specific Superconcepts for atomic concepts. Moreover, we give the exact conditions for the existence of a uniform interpolant in EL and show how it can be obtained using our algorithms. | ||
− | |||
|Projekt=NanOn | |Projekt=NanOn | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
}} | }} | ||
{{Forschungsgebiet Auswahl}} | {{Forschungsgebiet Auswahl}} |
Version vom 11. Mai 2011, 11:27 Uhr
Published: 2011
Mai
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3017
Kurzfassung
Recently, non-standard reasoning problems have gained the attention from the research community. Amongst others, different forgetting (or uniform interpolation) approaches for knowledge bases expressed in different logics were proposed. It was shown that the result may not exist in the presence of terminological cycles and sufficient, but not necessary conditions for its existence were proposed. In this paper, we show that a uniform interpolant of any EL terminology w.r.t. any signature always exists in EL enriched with least and greatest fixpoint constructors and show how it can be computed by reducing the problem to the computation of Most General Subconcepts and Most Specific Superconcepts for atomic concepts. Moreover, we give the exact conditions for the existence of a uniform interpolant in EL and show how it can be obtained using our algorithms.