| Publication | Date of Publication | Type |
|---|
Deciding hyperproperties combined with functional specifications
| 2024-12-06 | Paper |
Tuple-generating dependencies capture complex values
| 2024-04-25 | Paper |
Tuple-generating dependencies capture complex values
| 2024-04-23 | Paper |
scientific article; zbMATH DE number 7561463 (Why is no real title available?)
| 2022-07-21 | Paper |
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
| 2022-03-24 | Paper |
scientific article; zbMATH DE number 7350780 (Why is no real title available?)
| 2021-05-25 | Paper |
Deciding Universality of ptNFAs is PSpace-Complete
SOFSEM 2018: Theory and Practice of Computer Science | 2020-10-21 | Paper |
Preserving constraints with the stable chase
| 2020-08-06 | Paper |
Temporally attributed description logics
| 2020-06-04 | Paper |
Too much information: can AI cope with modern knowledge graphs?
| 2020-02-11 | Paper |
Efficient model construction for Horn logic with VLog (system description)
| 2018-10-18 | Paper |
On the complexity of universality for partially ordered NFAs
| 2018-03-21 | Paper |
Complexity of universality and related problems for partially ordered NFAs
Information and Computation | 2017-08-08 | Paper |
scientific article; zbMATH DE number 6697175 (Why is no real title available?)
| 2017-03-27 | Paper |
Complexities of Horn description logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
Journal of Automated Reasoning | 2015-07-02 | Paper |
The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
Journal of Artificial Intelligence Research | 2015-01-14 | Paper |
Concrete results on abstract rules
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Acyclicity notions for existential rules and their application to query answering in ontologies
The Journal of Artificial Intelligence Research (JAIR) | 2013-09-06 | Paper |
OWL 2 profiles: an introduction to lightweight ontology languages
Lecture Notes in Computer Science | 2012-11-08 | Paper |
Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog
Logical Methods in Computer Science | 2012-04-03 | Paper |
Description logic rules
| 2011-04-27 | Paper |
Efficient inferencing for OWL EL
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Cheap Boolean Role Constructors for Description Logics
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Semantic Web
eXamen.press | 2007-11-05 | Paper |
Querying Formal Contexts with Answer Set Programs
Conceptual Structures: Inspiration and Application | 2007-09-06 | Paper |
Formal Concept Analysis
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Generalized ultrametric spaces in quantitative domain theory
Theoretical Computer Science | 2007-01-22 | Paper |
