Handling Inconsistencies due to Class Disjointness in SPAR QL Updates
Ontology-Based Data Access Using Rewriting, OWL 2 RL Systems and Repairing
Biomedical Information Technology
The usability of Description Logics: Understanding the cognitive difficulties presented by Description Logics
Test-Driven Development of Ontologies
Acquisition and Understanding of Process Knowledge Using Problem Solving Methods
Introduction to the Semantic Web
Free Quantified Epistemic Logics
Spatial Ontology-Mediated Query Answering over Mobility Streams
Incorporating Prior Knowledge into NLP with Markov Logic