Sciweavers

50 search results - page 1 / 10
» Realizing Default Logic over Description Logic Knowledge Bas...
Sort
View
105
Voted
ECSQARU
2009
Springer
15 years 5 months ago
Realizing Default Logic over Description Logic Knowledge Bases
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
DLOG
2010
14 years 8 months ago
Structure Preserving TBox Repair using Defaults
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
Thomas Scharrenbach, Rolf Grütter, Bettina Wa...
DLOG
1997
15 years 5 days ago
Dwebic: An Intelligent Search Engine based on Default Description Logics
In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a di cult t...
Patrick Lambrix, Nahid Shahmehri, Niclas Wahll&oum...
73
Voted
DLOG
2006
15 years 7 days ago
Epistemic First-order Queries over Description Logic Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...
AAAI
2000
15 years 6 days ago
Answering Queries Using Views over Description Logics Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...