Sciweavers

2302 search results - page 33 / 461
» Basic Description Logics
Sort
View
107
Voted
IJCAI
2001
15 years 2 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
103
Voted
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 20 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
121
Voted
JAIR
2002
101views more  JAIR 2002»
15 years 11 days ago
Structured Knowledge Representation for Image Retrieval
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
Eugenio Di Sciascio, Francesco M. Donini, Marina M...
71
Voted
LOGCOM
2006
58views more  LOGCOM 2006»
15 years 20 days ago
Proof Theory for Casari's Comparative Logics
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
George Metcalfe
84
Voted
CADE
2008
Springer
16 years 1 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...