Sciweavers

194 search results - page 15 / 39
» Query Answering in Description Logics: The Knots Approach
Sort
View
DLOG
2003
13 years 8 months ago
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
Ralf Möller, Ronald Cornet, Volker Haarslev
ENGL
2007
116views more  ENGL 2007»
13 years 7 months ago
Evacuation Planning using Answer Set Programming: An initial approach
—This paper describes a methodology based on Answer Set Programming (ASP) to work with incomplete geographic data. Source geographic data which describes a risk zone is translate...
Claudia Zepeda, David Sol
ICPR
2008
IEEE
14 years 8 months ago
Query by table
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...
George Nagy, Raghav K. Padmanabhan
WISE
2005
Springer
14 years 29 days ago
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
Pakornpong Pothipruk, Guido Governatori
JELIA
1998
Springer
13 years 11 months ago
A Logic for Anytime Deduction and Anytime Compilation
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
Frédéric Koriche