Sciweavers

9145 search results - page 84 / 1829
» Description Logic Systems
Sort
View
ECAI
2008
Springer
15 years 2 months ago
Partial and Informative Common Subsumers in Description Logics
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
137
Voted
ESWS
2008
Springer
15 years 2 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
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...
Pavel Klinov
108
Voted
DLOG
2004
15 years 2 months ago
Local Tableaux for Reasoning in Distributed Description Logics
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 ...
Luciano Serafini, Andrei Tamilin
80
Voted
DLOG
2003
15 years 2 months ago
Description Logic Terminology
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
Franz Baader
94
Voted
AAAI
1997
15 years 1 months ago
Representing Sequences in Description Logics
This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...
Haym Hirsh, Daniel Kudenko