1470 search results - page 39 / 294 » An Introduction to Description Logics |
IANDC
2008
14 years 10 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
SSDBM
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
117
click to vote
RR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...