Sciweavers

3793 search results - page 3 / 759
» Expressive Description Logics
Sort
View
AAAI
2007
14 years 1 months ago
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
ICCBR
2010
Springer
14 years 2 months ago
An Algorithm for Adapting Cases Represented in an Expressive Description Logic
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
Julien Cojan, Jean Lieber
AI
2008
Springer
13 years 11 months ago
Expressive probabilistic description logics
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
Thomas Lukasiewicz
DLOG
2009
13 years 8 months ago
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
Francesco M. Donini, Simona Colucci, Tommaso Di No...
DLOG
2004
14 years 7 days ago
Sonic: System Description
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
Anni-Yasmin Turhan, Christian Kissig