Sciweavers

3358 search results - page 91 / 672
» Dynamic Description Logics
Sort
View
JAR
2010
139views more  JAR 2010»
13 years 4 months ago
Incremental Classification of Description Logics Ontologies
The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between differe...
Bernardo Cuenca Grau, Christian Halaschek-Wiener, ...
DLOG
2011
13 years 1 months ago
Mapping Data to Higher-Order Description Logic Knowledge Bases
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
DLOG
2009
13 years 7 months ago
Relativizing Concept Descriptions to Comparison Classes
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
Szymon Klarman, Stefan Schlobach
DLOG
2001
13 years 11 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller