1835 search results - page 14 / 367 » Classifying Description Logics |
102
Voted
IJCAI
2003
15 years 3 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
124
Voted
AMAI
2000
Springer
15 years 1 months ago
2000
Springer
principled ones
115
Voted
DLOG
2010
14 years 12 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
164
Voted
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
121
click to vote
DLOG
2001
15 years 3 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...