1435 search results - page 136 / 287 » E-connections of Description Logics |
173
click to vote
FLAIRS
2009
14 years 11 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
107
click to vote
AUSAI
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
103
click to vote
ASIAN
1998
Springer
15 years 5 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
118
click to vote
DLOG
2007
15 years 3 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
101
click to vote
DLOG
2007
15 years 3 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...