Sciweavers

936 search results - page 42 / 188
» The Logical Difference Problem for Description Logic Termino...
Sort
View
CLEF
2006
Springer
13 years 11 months ago
Applying Logic Forms and Statistical Methods to CL-SR Performance
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
Rafael M. Terol, Patricio Martínez-Barco, M...
DLOG
2009
13 years 5 months ago
Reasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
DLOG
2008
13 years 10 months ago
Essential and Mandatory Part-Whole Relations in Conceptual Data Models
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
Alessandro Artale, C. Maria Keet
MST
2011
207views Hardware» more  MST 2011»
13 years 2 months ago
Fixpoint Logics over Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
DLOG
1998
13 years 9 months ago
Expressiveness Revisited
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...
Carlos Areces, Maarten de Rijke