Search Sciweavers | Sciweavers

194 search results - page 4 / 39

» Query Answering in Description Logics: The Knots Approach

click to vote

DLOG
2009

104views Automated Reasoning» more DLOG 2009»

Generalized Closed World Reasoning in Description Logics with Extended Domain Closure

13 years 5 months ago

Download dl.kr.org

Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...

Oliver Gries

claim paper

Read More »

click to vote

AAAI
2006

159views Intelligent Agents» more AAAI 2006»

Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics

13 years 8 months ago

Download www.aaai.org

Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...

Magdalena Ortiz, Diego Calvanese, Thomas Eiter

claim paper

Read More »

click to vote

AAAI
2008

117views Intelligent Agents» more AAAI 2008»

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses

13 years 9 months ago

Download www.kr.tuwien.ac.at

Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...

Magdalena Ortiz, Mantas Simkus, Thomas Eiter

claim paper

Read More »

click to vote

RR
2007
Springer

109views Automated Reasoning» more RR 2007»

Consistent Query Answering over Description Logic Ontologies

14 years 1 months ago