Sciweavers

421 search results - page 1 / 85
» Extension of Ontologies Assisted by Automated Reasoning Syst...
Sort
View
EUROCAST
2005
Springer
84views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Extension of Ontologies Assisted by Automated Reasoning Systems
Joaquín Borrego-Díaz, Antonia M. Ch&...
DLOG
2007
13 years 7 months ago
Exploiting Description Logic Reasoners in Inductive Logic
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
Francesca A. Lisi
GIS
1999
ACM
13 years 9 months ago
Ontology-Driven Geographic Information Systems
Frederico T. Fonseca, Max J. Egenhofer
RR
2007
Springer
13 years 11 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
DLOG
2007
13 years 7 months ago
Modularity in DL-Lite
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...