Sciweavers

1545 search results - page 37 / 309
» Defeasible Description Logics
Sort
View
UAI
2004
13 years 9 months ago
Using Arguments for Making Decisions: A Possibilistic Logic Approach
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
Leila Amgoud, Henri Prade
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 4 months ago
First steps in the logic-based assessment of post-composed phenotypic descriptions
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...
CBMS
2009
IEEE
14 years 2 months ago
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
Alejandro Rodríguez González, Jos&ea...
IADIS
2004
13 years 9 months ago
OWL DL: description logic's syntactic variant for the semantic web
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
Wei Ming Zhang, Jun-feng Song
DLOG
2009
13 years 5 months ago
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
Francesco M. Donini, Simona Colucci, Tommaso Di No...