Sciweavers

2181 search results - page 238 / 437
» Ontologies and Description Logics
Sort
View
CLEF
2005
Springer
16 years 1 days ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 6 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
ICDE
1997
IEEE
176views Database» more  ICDE 1997»
16 years 7 months ago
ODB-QOPTIMIZER: A Tool for Semantic Query Optimization in OODB
2. ODB-QOPTIMIZER : the tool ODB-QOPTIMIZERis a ODMG 93 compliant tool for the schema validation and semantic query optimization. The approach is based on two fundamental ingredien...
Sonia Bergamaschi, Domenico Beneventano, Claudio S...
OTM
2007
Springer
16 years 19 days ago
Fuzzy-DL Reasoning over Unknown Fuzzy Degrees
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
Stasinos Konstantopoulos, Georgios Apostolikas
JELIA
2004
Springer
15 years 12 months ago
Explaining Subsumption by Optimal Interpolation
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
Stefan Schlobach