Sciweavers

3244 search results - page 77 / 649
» Extensions to Description Logics
Sort
View
DLOG
1998
15 years 7 months ago
Comparing Subsumption Optimizations
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Ian Horrocks, Peter F. Patel-Schneider
ECSQARU
2009
Springer
16 years 21 days ago
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
Abstract. Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and r...
Fernando Bobillo, Umberto Straccia
LPAR
2007
Springer
16 years 8 days ago
Complexity of Planning in Action Formalisms Based on Description Logics
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
Maja Milicic
OTM
2007
Springer
16 years 8 days ago
Approaches to Inconsistency Handling in Description-Logic Based Ontologies
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
David A. Bell, Guilin Qi, Weiru Liu
ICCS
2005
Springer
15 years 11 months ago
Applications of Description Logics: State of the Art and Research Challenges
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
Ian Horrocks