• Publications
  • Influence
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
TLDR
We consider Datalog-rewritable DL ontologies, i.e., ones that can be rewritten toDatalog programs, such that dl-programs can be reduced to Datalogy with negation, under well-founded semantics. Expand
Ontology Reasoning with Large Data Repositories
TLDR
We give in this chapter an overall introduction to some well-known ontology repositories, including native stores and database based stores and highlight strengths and limitations of each store. Expand
A Defeasible Ontology Language
TLDR
We extend the description logic SHOQ(D) with a preference order on the axioms, thus effectively introducing nonmonotonicity into a defeasible ontology language. Expand
Semantic Business Process Repository
TLDR
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. Expand
Unsatisfiability Reasoning in ORM Conceptual Schemes
TLDR
In this paper, we revisit existing patterns from literature that indicate unsatisfiability of ORM schemes, and propose refinements as well as additions for them. Expand
Integrating Description Logics and Answer Set Programming
TLDR
We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, features that are present in most DLs. Expand
Semantic validation of the use of SNOMED CT in HL7 clinical documents
TLDR
We present a methodology to automatically check the validity of CDA documents which make reference to SNOMED CT® terminology. Expand
Logical Foundations of (e)RDF(S): Complexity and Reasoning
TLDR
An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms such as logic programming and description logics. Expand
Guarded hybrid knowledge bases12
TLDR
We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the $\mathcal{DL}$ + log knowledge bases from Rosati (In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning). Expand
Integrating Semantic Web Reasoning and Answer Set Programming
TLDR
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 most DLs. Expand
...
1
2
3
4
5
...