The following pages link to Markus Krötzsch (Q831913):
Displaying 28 items.
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- Efficient model construction for Horn logic with VLog (system description) (Q1799135) (← links)
- Complexity of universality and related problems for partially ordered NFAs (Q2013561) (← links)
- Temporally attributed description logics (Q2185484) (← links)
- Too much information: can AI cope with modern knowledge graphs? (Q2294538) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies (Q2846569) (← links)
- Concrete Results on Abstract Rules (Q2851271) (← links)
- Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog (Q2881079) (← links)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases (Q2938475) (← links)
- Complexities of Horn Description Logics (Q2946686) (← links)
- (Q2970045) (← links)
- (Q3168847) (← links)
- Preserving Constraints with the Stable Chase (Q3305357) (← links)
- Cheap Boolean Role Constructors for Description Logics (Q3532479) (← links)
- (Q4608624) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)
- Efficient Inferencing for OWL EL (Q4930768) (← links)
- (Q4989409) (← links)
- (Q5091112) (← links)
- Deciding Universality of ptNFAs is PSpace-Complete (Q5127189) (← links)
- Semantic Web (Q5424582) (← links)
- Querying Formal Contexts with Answer Set Programs (Q5757442) (← links)
- Formal Concept Analysis (Q5898490) (← links)
- Tuple-generating dependencies capture complex values (Q6491023) (← links)
- Tuple-generating dependencies capture complex values (Q6492719) (← links)
- Deciding hyperproperties combined with functional specifications (Q6649493) (← links)
