199 search results - page 3 / 40 » Description Logics: Foundations for Class-based Knowledge Re... |
CIKM
1999
Springer
13 years 10 months ago
1999
Springer
The paper is concerned with the qualitative representation of spatiotemporal relations. We initially propose a multiresolution framework for the representation of relations among ...
DLOG
2003
13 years 7 months ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
DLOG
2006
13 years 7 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
DLOG
1998
13 years 7 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
LILOG
1989
13 years 9 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...