1071 search results - page 16 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
DLOG
2001
14 years 11 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
91
Voted
DLOG
2007
14 years 12 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
77
Voted
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
DLOG
2006
14 years 11 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.