| Publication | Date of Publication | Type |
|---|
Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching
| 2024-07-28 | Dataset |
Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement
| 2023-12-26 | Dataset |
Datasets for Out-of-KB Mention Discovery with Entity Linking
| 2023-08-09 | Dataset |
OntoLAMA: LAnguage Model Analysis for Ontology Subsumption Inference
| 2023-03-06 | Dataset |
Modular materialisation of Datalog programs
Artificial Intelligence | 2022-06-01 | Paper |
Benchmarks and scripts for ACQuA and RSAComb
| 2022-05-19 | Dataset |
The delay and window size problems in rule-based stream reasoning
Artificial Intelligence | 2022-04-11 | Paper |
The Complexity and Expressive Power of Limit Datalog
Journal of the ACM | 2022-03-31 | Paper |
\texttt{OWL2Vec}*: embedding of OWL ontologies
Machine Learning | 2022-01-28 | Paper |
Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
Artificial Intelligence | 2021-11-02 | Paper |
15 years of consequence-based reasoning
| 2020-06-04 | Paper |
Maintenance of datalog materialisations revisited
Artificial Intelligence | 2019-08-28 | Paper |
Foundations of ontology-based data access under bag semantics
Artificial Intelligence | 2019-08-28 | Paper |
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Journal of Artificial Intelligence Research | 2018-11-30 | Paper |
An introduction to description logic
| 2017-04-11 | Paper |
scientific article; zbMATH DE number 6697175 (Why is no real title available?)
| 2017-03-27 | Paper |
Module extraction in expressive ontology languages via Datalog reasoning
The Journal of Artificial Intelligence Research (JAIR) | 2016-03-03 | Paper |
Large-scale interactive ontology matching: algorithms and implementation
| 2015-12-11 | Paper |
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
Journal of Artificial Intelligence Research | 2015-11-25 | Paper |
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence | 2015-08-27 | Paper |
HermiT: an OWL 2 reasoner
Journal of Automated Reasoning | 2015-06-23 | Paper |
\(\mathcal{EL}\)-ifying ontologies
Automated Reasoning | 2014-09-26 | Paper |
Hybrid logics and ontology languages
Electronic Notes in Theoretical Computer Science | 2013-12-20 | 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 |
Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes
Journal of Automated Reasoning | 2012-07-31 | Paper |
Completeness guarantees for incomplete ontology reasoners: theory and practice
The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
Tractable extensions of the description logic \(\mathcal{EL}\) with numerical datatypes
Automated Reasoning | 2010-09-14 | Paper |
Optimized description logic reasoning via core blocking
Automated Reasoning | 2010-09-14 | Paper |
Tractable query answering and rewriting under description logic constraints
Journal of Applied Logic | 2010-06-11 | Paper |
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence | 2009-09-14 | Paper |
Extracting Modules from Ontologies: A Logic-Based Approach
Lecture Notes in Computer Science | 2009-06-09 | Paper |
scientific article; zbMATH DE number 5547901 (Why is no real title available?)
| 2009-04-28 | Paper |
Optimized Reasoning in Description Logics Using Hypertableaux
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Rewriting Conjunctive Queries over Description Logic Knowledge Bases
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
Individual Reuse in Description Logic Reasoning
Automated Reasoning | 2008-11-27 | Paper |
Optimizing terminological reasoning for expressive description logics
Journal of Automated Reasoning | 2007-12-03 | Paper |
A tableau decision procedure for \(\mathcal{SHOIQ}\)
Journal of Automated Reasoning | 2007-12-03 | Paper |
f-SWRL: A Fuzzy Extension of SWRL
Journal on Data Semantics VI | 2007-09-06 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence | 2006-02-07 | Paper |
scientific article; zbMATH DE number 2246078 (Why is no real title available?)
| 2006-01-11 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2088349 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2090284 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2086262 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1980942 (Why is no real title available?)
| 2003-09-15 | Paper |
scientific article; zbMATH DE number 1980997 (Why is no real title available?)
| 2003-09-15 | Paper |
scientific article; zbMATH DE number 1947736 (Why is no real title available?)
| 2003-07-09 | Paper |
scientific article; zbMATH DE number 1947757 (Why is no real title available?)
| 2003-07-09 | Paper |
Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability
Journal of Automated Reasoning | 2002-08-20 | Paper |
scientific article; zbMATH DE number 1696774 (Why is no real title available?)
| 2002-07-22 | Paper |
Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability
| 2001-11-21 | Paper |
Practical reasoning for very expressive description logics
Logic Journal of the IGPL | 2001-08-28 | Paper |
scientific article; zbMATH DE number 1614719 (Why is no real title available?)
| 2001-07-05 | Paper |
scientific article; zbMATH DE number 1612540 (Why is no real title available?)
| 2001-07-01 | Paper |
scientific article; zbMATH DE number 1405450 (Why is no real title available?)
| 2000-10-26 | Paper |
scientific article; zbMATH DE number 1500581 (Why is no real title available?)
| 2000-10-26 | Paper |
An analysis of empirical testing for modal decision procedures
Logic Journal of the IGPL | 2000-06-21 | Paper |
A description logic with transitive and inverse roles and role hierarchies
Journal Of Logic And Computation | 1999-09-07 | Paper |
Optimizing description logic subsumption
Journal Of Logic And Computation | 1999-09-07 | Paper |
scientific article; zbMATH DE number 1222434 (Why is no real title available?)
| 1998-11-11 | Paper |
Datasets for the Hierarchy Transformer Encoders (HiTs)
| N/A | Dataset |
