Sciweavers

3358 search results - page 435 / 672
» Dynamic Description Logics
Sort
View
ASWC
2006
Springer
15 years 10 months ago
Minerva: A Scalable OWL Ontology Storage and Inference System
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
Jian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu...
ESWS
2006
Springer
15 years 10 months ago
Reconciling Concepts and Relations in Heterogeneous Ontologies
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
Chiara Ghidini, Luciano Serafini
163
Voted
KR
2000
Springer
15 years 10 months ago
Reduction rules and universal variables for first order tableaux and DPLL
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
Fabio Massacci
RSCTC
2000
Springer
227views Fuzzy Logic» more  RSCTC 2000»
15 years 10 months ago
Rough Sets in Approximate Spatial Reasoning
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
Thomas Bittner, John G. Stell
DLOG
2007
15 years 9 months ago
Expressing DL-Lite Ontologies with Controlled English
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expres...
Raffaella Bernardi, Diego Calvanese, Camilo Thorne