Sciweavers

630 search results - page 21 / 126
» Combining Two Formalism for Reasoning about Concepts
Sort
View
SEMWEB
2007
Springer
14 years 1 months ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans
CSMR
2004
IEEE
13 years 11 months ago
Source Code Modularization Using Lattice of Concept Slices
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
Raihan Al-Ekram, Kostas Kontogiannis
VL
1999
IEEE
164views Visual Languages» more  VL 1999»
13 years 11 months ago
Reasoning with Spider Diagrams
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
John Howse, Fernando Molina, John Taylor, Stuart K...
KR
1998
Springer
13 years 11 months ago
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
Fausto Giunchiglia, Chiara Ghidini
GEOS
2005
Springer
14 years 1 months ago
A Qualitative Trajectory Calculus and the Composition of Its Relations
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
Nico Van de Weghe, Bart Kuijpers, Peter Bogaert, P...