• Publications
  • Influence
Ontology Reasoning with Large Data Repositories
TLDR
This chapter presents the Semantic Business Process Repository (SBPR), and concludes that a RDBMS with the IRIS inference engine integrated is a suitable solution due to the expressiveness of the query language and the reasoning capability.
Semantic Business Process Repository
TLDR
This paper introduces a solution based on the Integrated Rule Inference System (IRIS) on top of a relational database for realizing the storage mechanism and query proc- essing of the semantic business process repository.
A Defeasible Ontology Language
TLDR
The description logic SHOQ(D) is extended with a preference order on the axioms, and it is argued that such a defeasible language may be usefully applied for learning and integrating ontologies.
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
TLDR
The usage of DBLP technology to reason efficiently with dl-programs in presence of negation and recursion is enabled, as a basis for advanced applications.
Unsatisfiability Reasoning in ORM Conceptual Schemes
TLDR
This paper revisits existing patterns from literature that indicate unsatisfiability of ORM schemes i.e., schemes that cannot be populated, and proposes refinements as well as additions for them, which yields an efficient and easy to implement detection mechanism for the most common conceptual modeling mistakes.
Integrating Semantic Web Reasoning and Answer Set Programming
We integrate an expressive class of description logics (DLs ) and answer set programming by extending the latter to support inve rted predicates and infinite domains, features that are present in
Integrating Description Logics and Answer Set Programming
TLDR
Not only can conceptual logic programs (CLPs) simulate finite answer set programming, they are also flexible enough to simulate reasoning in an expressive class of description logics, thus being able to play the role of ontology language, as well as rule language, on the Semantic Web.
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
TLDR
Two extensions in continuation of previous works towards goal-based Web service discovery with sophisticated semantic matchmaking are presented, distinguishing goal templates as generic objective descriptions and goal instances that denote concrete requests as an instantiation of a goal template.
Semantic validation of the use of SNOMED CT in HL7 clinical documents
TLDR
A methodology to automatically check the validity of CDA documents which make reference to SNOMED CT® terminology relies on semantic technologies such as OWL and is evaluated via a prototype implementation that plugs in the Open Health Workbench.
Logical Foundations of (e)RDF(S): Complexity and Reasoning
TLDR
This paper considers embeddings of RDF and RDFS in logic to show how techniques from deductive databases and description logics can be used for reasoning with RDF(S) and establishes several novel complexity results.
...
...