Sciweavers

511 search results - page 38 / 103
» Automatic Construction of a Semantic, Domain-Independent Kno...
Sort
View
OWLED
2007
15 years 3 months ago
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
Rolf Grütter, Bettina Bauer-Messmer
CSFW
2000
IEEE
15 years 6 months ago
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
Anthony H. Dekker
SERP
2003
15 years 3 months ago
A Vision for Product Traceability Based on Semantics of Artifacts
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
Darijus Strasunskas
P2P
2002
IEEE
178views Communications» more  P2P 2002»
15 years 6 months ago
A Scalable and Ontology-Based P2P Infrastructure for Semantic Web Services
Semantic Web Services are a promising combination of Semantic Web and Web service technology, aiming at providing means of automatically executing, discovering and composing seman...
Mario T. Schlosser, Michael Sintek, Stefan Decker,...
WISE
2005
Springer
15 years 7 months ago
Semantic Partitioning of Web Pages
In this paper we describe the semantic partitioner algorithm, that uses the structural and presentation regularities of the Web pages to automatically transform them into hierarchi...
Srinivas Vadrevu, Fatih Gelgi, Hasan Davulcu