60 search results - page 3 / 12 » Reasoning in Description Logics by a Reduction to Disjunctiv... |
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...
AUSAI
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
115
click to vote
GEOINFORMATICA
2011
14 years 4 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
LPNMR
1999
Springer
15 years 1 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
ICDT
2003
ACM
15 years 2 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...