Professor Frank Wolter

Professor Computer Science

    Publications

    Selected Publications

    1. Model-theoretic inseparability and modularity of description logic ontologies (Journal article - 2013)
    2. Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP (Conference Paper - 2013)
    3. Semantic Modularity and Module Extraction in Description Logics (Journal article - 2013)
    4. Temporal Description Logic for Ontology-Based Data Access (Conference Paper - 2013)