Sciweavers

116 search results - page 15 / 24
» Closed Terminologies in Description Logics
Sort
View
DLOG
2007
14 years 11 months ago
Blocking Automata for PSPACE DLs
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
Franz Baader, Jan Hladik, Rafael Peñaloza
ANLP
1992
126views more  ANLP 1992»
14 years 10 months ago
Overview of Natural Language Processing of Captions for Retrieving Multimedia Data
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
Eugene J. Guglielmo, Neil C. Rowe
DLOG
2008
14 years 11 months ago
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
Andrea Calì, Georg Gottlob, Michael Kifer
73
Voted
CORR
2007
Springer
98views Education» more  CORR 2007»
14 years 9 months ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
ACMICEC
2005
ACM
151views ECommerce» more  ACMICEC 2005»
15 years 3 months ago
Product knowledge reasoning: a DL-based approach
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
Nizamuddin Channa, Shanping Li, Xiangjun Fu