Sciweavers

2181 search results - page 120 / 437
» Ontologies and Description Logics
Sort
View
LPAR
2007
Springer
16 years 14 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
LPAR
2007
Springer
16 years 14 days ago
Data Complexity in the EL Family of Description Logics
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...
Adila Krisnadhi, Carsten Lutz
KR
1998
Springer
15 years 10 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
DEXA
2008
Springer
187views Database» more  DEXA 2008»
15 years 8 months ago
Description Logic to Model a Domain Specific Information Retrieval System
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
Saïd Radhouani, Gilles Falquet, Jean-Pierre C...
DLOG
1998
15 years 7 months ago
A Description Logic System for Learning in Complex Domains
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
Jordi Alvarez