Sciweavers

50 search results - page 1 / 10
» Realizing Default Logic over Description Logic Knowledge Bas...
Sort
View
ECSQARU
2009
Springer
15 years 9 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
124
Voted
DLOG
2010
15 years 22 days 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...
125
Voted
DLOG
1997
15 years 4 months 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...
100
Voted
DLOG
2006
15 years 4 months ago
Epistemic First-order Queries over Description Logic Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...
85
Voted
AAAI
2000
15 years 4 months ago
Answering Queries Using Views over Description Logics Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...