626 search results - page 3 / 126 » Logical Foundations for Data Integration |
IADIS
2008
13 years 10 months ago
2008
Lots of work has already been published on developing applications for schema or ontology matching. Most of these approaches do not take the usability aspect into account. This pa...
ASIAN
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
RWEB
2009
Springer
14 years 3 months ago
2009
Springer
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
KR
1998
Springer
14 years 23 days ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
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 ...