324 search results - page 23 / 65 » Towards a Paradoxical Description Logic for the Semantic Web |
136
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
118
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
107
click to vote
KCAP
2003
ACM
15 years 6 months ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
143
click to vote
ESWS
2008
Springer
15 years 3 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...
116
click to vote
DLOG
2004
15 years 2 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...