A Comparative Study of Stream Reasoning Engines.
|
ESWC |
2023 |
0 |
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies.
|
IJCAI |
2022 |
0 |
Ontology-Based Map Data Quality Assurance.
|
ESWC |
2021 |
1 |
HDT Bitmap Triple Indices for Efficient RDF Data Exploration.
|
ESWC |
2021 |
0 |
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics.
|
ESWC |
2021 |
0 |
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
|
ICAPS |
2020 |
14 |
Absorption-Based Query Answering for Expressive Description Logics.
|
ISWC |
2019 |
3 |
Instructing Novice Users on How to Use Tools in DIY Projects.
|
IJCAI |
2018 |
12 |
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes.
|
IJCAI |
2018 |
1 |
Ontology Materialization by Abstraction Refinement in Horn SHOIF.
|
AAAI |
2017 |
17 |
The OWL Reasoner Evaluation (ORE) 2015 Resources.
|
ISWC |
2016 |
10 |
Exploring Parallel Tractability of Ontology Materialization.
|
ECAI |
2016 |
0 |
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures.
|
JAIR |
2015 |
4 |
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
|
IJCAI |
2015 |
22 |
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies.
|
AAAI |
2015 |
7 |
Abstraction Refinement for Ontology Materialization.
|
ISWC |
2014 |
31 |
The Energy Management Adviser at EDF.
|
ISWC |
2013 |
18 |
Nominal Schema Absorption.
|
IJCAI |
2013 |
16 |
Optimizing SPARQL Query Answering over OWL Ontologies.
|
JAIR |
2013 |
56 |
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases.
|
ISWC |
2012 |
12 |
Cost Based Query Ordering over OWL Ontologies.
|
ISWC |
2012 |
10 |
SPARQL Query Answering over OWL Ontologies.
|
ESWC |
2011 |
122 |
Reasoning-Supported Interactive Revision of Knowledge Bases.
|
IJCAI |
2011 |
24 |
Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
|
ISWC |
2011 |
5 |
Integrated Metamodeling and Diagnosis in OWL 2.
|
ISWC |
2010 |
64 |
Optimising Ontology Classification.
|
ISWC |
2010 |
43 |
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
|
JAIR |
2010 |
56 |
SPARQL beyond Subgraph Matching.
|
ISWC |
2010 |
40 |
Status QIO: Conjunctive Query Entailment Is Decidable.
|
KR |
2010 |
12 |
Role Conjunctions in Expressive Description Logics.
|
LPAR |
2008 |
11 |
Unions of Conjunctive Queries in SHOQ.
|
KR |
2008 |
43 |
Conjunctive Query Answering for the Description Logic SHIQ.
|
JAIR |
2008 |
0 |
Conjunctive Query Answering for the Description Logic SHIQ.
|
IJCAI |
2007 |
308 |