322 search results - page 39 / 65 » Practical Reasoning for Expressive Description Logics |
130
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
149
Voted
RSCTC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
111
Voted
DEXAW
2002
IEEE
15 years 6 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
118
click to vote
FOIS
2006
15 years 3 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
167
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...