Sciweavers

1545 search results - page 40 / 309
» Defeasible Description Logics
Sort
View
107
Voted
CADE
2001
Springer
16 years 24 days ago
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
Anni-Yasmin Turhan, Ralf Möller, Volker Haars...
119
Voted
WILF
2007
Springer
312views Fuzzy Logic» more  WILF 2007»
15 years 6 months ago
Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
Silvia Calegari, Davide Ciucci
103
Voted
IJCAI
2001
15 years 1 months ago
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
Fabio Massacci
101
Voted
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 13 days ago
Using Description Logics for Recognising Textual Entailment
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
Paul Bedaride
84
Voted
CADE
2008
Springer
16 years 24 days ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...