Sciweavers

2381 search results - page 32 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
WILF
2007
Springer
312views Fuzzy Logic» more  WILF 2007»
15 years 5 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
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
CORR
2007
Springer
119views Education» more  CORR 2007»
14 years 11 months 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
CSL
2008
Springer
15 years 1 months ago
The Descriptive Complexity of Parity Games
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
Anuj Dawar, Erich Grädel
79
Voted
CADE
2008
Springer
16 years 2 days ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...