Sciweavers

3081 search results - page 6 / 617
» A Formal Ontology of Properties
Sort
View
WISE
2006
Springer
13 years 11 months ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
CAISE
2007
Springer
13 years 11 months ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi
SEMWEB
2009
Springer
13 years 11 months ago
Computing Minimal Mappings
Given two classifications, or lightweight ontologies, we compute the minimal mapping, namely the subset of all possible correspondences, called mapping elements, between them such ...
Fausto Giunchiglia, Vincenzo Maltese, Aliaksandr A...
ESWS
2006
Springer
13 years 8 months ago
Toward Multi-viewpoint Reasoning with OWL Ontologies
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
Heiner Stuckenschmidt
AAAI
2008
13 years 7 months ago
On the Decidability of Role Mappings between Modular Ontologies
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant...