936 search results - page 4 / 188 » The Logical Difference Problem for Description Logic Termino... |
ESWS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
RWEB
2009
Springer
14 years 8 days ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
CADE
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
DLOG
2003
13 years 7 months ago
2003
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
JAR
2007
13 years 5 months ago
2007