598 search results - page 110 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
BIB
2006
14 years 9 months ago
2006
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
SEMWEB
2004
Springer
15 years 3 months 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...
DKE
2010
14 years 9 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
WWW
2007
ACM
15 years 10 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...