1544 search results - page 30 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
PSB
2010
13 years 5 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
KR
2004
Springer
14 years 23 days ago
2004
Springer
DLOG
2003
13 years 8 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
CADE
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
DLOG
1996
13 years 8 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...