Arina Britz

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Morphological Operations

Exptime Complete

Description Logic Knowledge Base

Top Venues

Description Logics

Publications

Ken Halland, Arina Britz, Szymon Klarman
TBox Abduction in ALC Using a DL Tableau. Description Logics (2014)
Arina Britz, Ivan José Varzinczak
Towards a Logic of Dilation. PRUV (2014)
Riku Nortje, Arina Britz, Thomas Meyer
Module-theoretic Properties of Reachability Modules for SRIQ. Description Logics (2013)
Arina Britz, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
Preferential Role Restrictions. Description Logics (2013)
Riku Nortje, Arina Britz, Thomas Andreas Meyer
Bidirectional Reachability-Based Modules. Description Logics (2011)
Arina Britz, Thomas Meyer, Ivan José Varzinczak
Concept Model Semantics for DL Preferential Reasoning. Description Logics (2011)