241 citations · 469 across the 31 of their papers we have counts for
4 papers · 1 filter
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
David Carral, Cristina Feier, Pascal Hitzler
Conjunctive query answering over expressive Horn Description Logic ontologies is a relevant and challenging problem which, in some cases, can be addressed by application of the cha…
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
We propose a novel, type-elimination-based method for reasoning in the description logic SHIQbs including DL-safe rules. To this end, we first establish a knowledge compilation met…
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully ben…
Formal Concept Analysis and Resolution in Algebraic Domains
Pascal Hitzler, Matthias Wendt
We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp…