Sciweavers

83 search results - page 12 / 17
» Tractable Query Answering over Ontologies with Datalog -
Sort
View
OTM
2005
Springer
14 years 2 months ago
Reasoning on Dynamically Built Reasoning Space with Ontology Modules
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
Fabio Porto
CSFW
2003
IEEE
14 years 1 months ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
WISE
2005
Springer
14 years 2 months 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
WWW
2006
ACM
14 years 9 months ago
Question answering on top of the BT digital library
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
Johanna Völker, Peter Haase, Philipp Cimiano,...
CIKM
2010
Springer
13 years 7 months ago
Query optimization for ontology-based information integration
In recent years, there has been an explosion of publicly available RDF and OWL data sources. In order to effectively and quickly answer queries in such an environment, we present...
Yingjie Li, Jeff Heflin