Computing Least Common Subsumers in Description Logics with Existential Restrictions (1999)

by Franz Baader , Ralf Küsters , Ralf Molitor
Citations:89 - 24 self

Active Bibliography

72 Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles – Franz Baader - 2003
9 Restricted Role-Value-Maps in a Description Logic with Existential Restrictions and Terminological Cycles – Franz Baader - 2003
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
1 Subsumption in EL w.r.t. hybrid TBoxes – Sebastian Brandt , Jörg Model
1 Computing Most Specific Concepts in Description Logics with Existential Restrictions – Ralf Küsters, Ralf Molitor - 2000
42 Rewriting concepts using terminologies – Franz Baader, Ralf Küsters, Ralf Molitor - 2000
8 What's in an Attribute? - Consequences for the Least Common Subsumer – Ralf Küsters, Alex Borgida - 2001
16 Approximating Most Specific Concepts in Description Logics with Existential Restrictions – Ralf Küsters, Ralf Molitor - 2001
39 Polynomial time reasoning in a description logic with existential restrictions – Sebastian Brandt
2 Similarity-based Learning Methods for the Semantic Web – Claudia d'Amato
6 Structural subsumption and least common subsumers in a description logic with existential and number restrictions – Ralf Molitor
16 Computing Least Common Subsumers in ALEN – Ralf Küsters, Ralf Molitor - 2001
22 Is tractable reasoning in extensions of the description logic EL useful in practice – Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn - 2005
Partial and Informative Common Subsumers in Description Logics – Simona Colucci, Eugenio Di Sciascio, Francesco Maria Donini, Eufemia Tinelli
5 Partial and informative common subsumers of concepts collections in description logics – Simona Colucci, Eugenio Di Sciascio, Francesco Maria Donini - 2008
1 Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes – Rafael Peñaloza, Anni-yasmin Turhan
87 A Temporal Description Logic for Reasoning about Actions and Plans – Alessandro Artale, Enrico Franconi - 1998
16 Description logics with inverse roles, functional restrictions, and n-ary relations – Maurizio Lenzerini - 1994
84 On the Correspondence between Description Logics and Logics of Programs – Giuseppe De Giacomo, Maurizio Lenzerini - 1994