Sciweavers

485 search results - page 90 / 97
» Knowledge Compilation for Description Logics
Sort
View
SAC
2010
ACM
14 years 3 months ago
Inductive reasoning and semantic web search
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
Claudia d'Amato, Floriana Esposito, Nicola Fanizzi...
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
14 years 3 months ago
Distributed Watchpoints: Debugging Large Multi-Robot Systems
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
Michael DeRosa, Jason Campbell, Padmanabhan Pillai...
SEMWEB
2007
Springer
14 years 3 months ago
Instance Migration in Heterogeneous Ontology Environments
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
Luciano Serafini, Andrei Tamilin
ESWS
2005
Springer
14 years 2 months ago
DRAGO: Distributed Reasoning Architecture for the Semantic Web
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
Luciano Serafini, Andrei Tamilin
SSDBM
1999
IEEE
135views Database» more  SSDBM 1999»
14 years 1 months ago
Query Processing in the TAMBIS Bioinformatics Source Integration System
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
Norman W. Paton, Robert Stevens, Patricia G. Baker...