197 search results - page 30 / 40 » Using Vampire to Reason with OWL |
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
One of the most challenging problems in the healthcare domain is providing interoperability among healthcare information systems. In order to address this problem, we propose the ...
NLDB
2004
Springer
14 years 25 days ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
SEMWEB
2004
Springer
14 years 25 days ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...