Searching for "Extensions to Description Logics." – sorted by Relevance.
-
A possibilistic extension of description logics
- A Possibilistic Extension of Description Logics Guilin Qi 1 , Jeff Z. Pan 2 , and Qiu Ji 1 1
- Cited by 3 (1 self) – Add To MetaCart
-
A Survey of Temporal Extensions of Description Logics
- -mail: franconi@(email omitted); This paper surveys the temporal extensions of Description Logics appearearing
- Cited by 34 (8 self) – Add To MetaCart
-
Is tractable reasoning in extensions of the description logic EL useful in practice
- Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? Franz Baader
- Cited by 11 (7 self) – Add To MetaCart
-
Modular Implementation of Individual Reasoning in PROTODL - the Extensible Description Logic
- Modular Implementation of Individual Reasoning in protodl --- the Extensible Description Logic
- Add To MetaCart
-
Abstract Deciding inseparability and conservative extensions in the description logic EL
- Abstract Deciding inseparability and conservative extensions in the description logic EL Carsten
- Add To MetaCart
-
A default extension to description logics for use in an intelligent search engine
- A Default Extension to Description Logics for Use in an Intelligent Search Engine Patrick Lambrix
- Cited by 6 (1 self) – Add To MetaCart
-
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics
- Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics Silvio
- Cited by 40 (8 self) – Add To MetaCart
-
Fixpoint Extensions of Temporal Description Logics
- Fixpoint Extensions of Temporal Description Logics Enrico Franconi Faculty of Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
Conservative extensions in expressive description logics
- Conservative extensions in Expressive Description Logics Carsten Lutz, Dirk Walther, Frank
- Cited by 31 (8 self) – Add To MetaCart
-
Reasoning for a fuzzy description logic with comparison expressions
- ALCfc, a fuzzy extension of description logic ALC with comparison expressions. ALCfc defines comparison
- Cited by 1 (0 self) – Add To MetaCart

