Sciweavers

329 search results - page 7 / 66
» Formal Support for Representing and Automating Semantic Inte...
Sort
View
SEMWEB
2007
Springer
14 years 2 months ago
A Cognitive Support Framework for Ontology Mapping
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
Sean M. Falconer, Margaret-Anne D. Storey
ICDE
2006
IEEE
143views Database» more  ICDE 2006»
14 years 1 months ago
Using Data-Extraction Ontologies to Foster Automating Semantic Annotation
Semantic annotation adds formal metadata to web pages to link web data with ontology concepts. Automated semantic annotation is a primary way of enabling the semantic web. A main ...
Yihong Ding, David W. Embley
TPHOL
2002
IEEE
14 years 24 days ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
14 years 1 days ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
14 years 2 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...