281 search results - page 1 / 57 » An Infrastructure for Intertheory Reasoning |
CADE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
ESWS
2010
Springer
13 years 8 months ago
2010
Springer
The Semantic Web movement has led to the publication of thousands of ontologies online. These ontologies present and mediate information and knowledge on the Semantic Web. Tools ex...
GIS
2008
ACM
13 years 5 months ago
2008
ACM
IAT
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper describes the design and implementation of backward chained clustered RDFS reasoning in 4store. The system presented, called "4s-reasoner", adds no overhead t...
PAKM
2000
13 years 6 months ago
2000
In this paper we introduce our departments organizational and technical infrastructure for knowledge-intensive and weak-structured processes: A framework for Knowledge Management ...