Formal Verification of Data Provenance Records Data driven approaches to empirical discovery ABox Abduction in the Description Logic Judgment Aggregation as Maximization of Epistemic and Social Utility Description Logics of Context Prediction and Explanation over DL-Lite Data Streams Querying Temporal Databases via OWL 2 QL Ontology learning from interpretations in lightweight description logics Knowledge Assembly at Scale with Semantic and Probabilistic Techniques What makes a linked data pattern interesting? SKOS: Building taxonomies with minimum ontological commitment 
