Querying Formal Contexts with Answer Set Programs. by Hitzler, P, Krötzsch, M

Complexity Boundaries for Horn Description Logics. by Krötzsch, M, Rudolph, S, Hitzler, P

Cheap Boolean Role Constructors for Description Logics. by Rudolph, S, Krötzsch, M, Hitzler, P

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. by Rudolph, S, Krötzsch, M, Hitzler, P

Conjunctive Queries for a Tractable Fragment of OWL 1.1. by Krötzsch, M, Rudolph, S, Hitzler, P

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. by Rudolph, S, Krötzsch, M, Hitzler, P

Complexities of Horn Description Logics. by Krötzsch, M, Rudolph, S, Hitzler, P

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog by Rudolph, S, Krötzsch, M, Hitzler, P

ELP: Tractable Rules for OWL 2. by Krötzsch, M, Rudolph, S, Hitzler, P

Morphisms in Context. by Krötzsch, M, Hitzler, P, Zhang, G

Approximate OWL-Reasoning with Screech. by Tserendorj, T, Rudolph, S, Krötzsch, M, Hitzler, P

A Categorical View on Algebraic Lattices in Formal Concept Analysis by Hitzler, P, Krötzsch, M, Zhang, G

A Categorical View on Algebraic Lattices in Formal Concept Analysis. by Hitzler, P, Krötzsch, M, Zhang, G

Nominal Schemas for Integrating Rules and Description Logics. by Krötzsch, M, Maier, F, Krisnadhi, A, Hitzler, P

What is ontology merging? - A category-theoretical perspective using pushouts by Hitzler, P, Krötzsch, M, Ehrig, M, Sure, Y

A better uncle for OWL: nominal schemas for integrating rules and ontologies. by Krötzsch, M, Maier, F, Krisnadhi, A, Hitzler, P

How to reason with OWL in a logic programming system. by Krötzsch, M, Hitzler, P, Vrandecic, D, Sintek, M

Efficient OWL Reasoning with Logic Programs - Evaluations. by Rudolph, S, Krötzsch, M, Hitzler, P, Sintek, M, Vrandecic, D

EL-ifying ontologies by Carral, D, Feier, C, Grau, B, Hitzler, P, Horrocks, I

Pushing the boundaries of tractable ontology reasoning by Carral, D, Feier, C, Grau, BC, Hitzler, P, Horrocks, I