598 search results - page 5 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
DLOG
2010
14 years 7 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
LPAR
2000
Springer
15 years 1 months ago
2000
Springer
108
click to vote
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
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...
102
click to vote
EWCBR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...