Search Sciweavers | Sciweavers

194 search results - page 4 / 39

» Query Answering in Description Logics: The Knots Approach

Voted

DLOG
2009

104views Automated Reasoning» more DLOG 2009»

Generalized Closed World Reasoning in Description Logics with Extended Domain Closure

14 years 7 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

14 years 11 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

14 years 12 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

15 years 3 months ago