Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes.
|
AAAI |
2024 |
0 |
Orbit-Equivariant Graph Neural Networks.
|
ICLR |
2024 |
0 |
Faithful Rule Extraction for Differentiable Rule Learning Models.
|
ICLR |
2024 |
0 |
Finite Materialisability of Datalog Programs with Metric Temporal Operators.
|
JAIR |
2023 |
0 |
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs.
|
AAAI |
2023 |
0 |
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.
|
AAAI |
2023 |
0 |
Cardinality-Minimal Explanations for Monotonic Neural Networks.
|
IJCAI |
2023 |
0 |
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.
|
KR |
2023 |
0 |
Revisiting Inferential Benchmarks for Knowledge Graph Completion.
|
KR |
2023 |
0 |
An Empirical Study of Retrieval-Enhanced Graph Neural Networks.
|
ECAI |
2023 |
0 |
Explainable GNN-Based Models over Knowledge Graphs.
|
ICLR |
2022 |
5 |
Faithful Approaches to Rule Learning.
|
KR |
2022 |
0 |
The delay and window size problems in rule-based stream reasoning.
|
Artificial Intelligence |
2022 |
3 |
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.
|
AAAI |
2022 |
6 |
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.
|
NIPS/NeurIPS |
2021 |
19 |
DatalogMTL with Negation Under Stable Models Semantics.
|
KR |
2021 |
6 |
Pay-as-you-go consequence-based reasoning for the description logic SROIQ.
|
Artificial Intelligence |
2021 |
3 |
Stratified Negation in Datalog with Metric Temporal Operators.
|
AAAI |
2021 |
11 |
Finitely Materialisable Datalog Programs with Metric Temporal Operators.
|
KR |
2021 |
9 |
DatalogMTL over the Integer Timeline.
|
KR |
2020 |
14 |
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.
|
AAAI |
2020 |
4 |
Tractable Fragments of Datalog with Metric Temporal Operators.
|
IJCAI |
2020 |
13 |
DatalogMTL: Computational Complexity and Expressive Power.
|
IJCAI |
2019 |
19 |
Reasoning over Streaming Data in Metric Temporal Datalog.
|
AAAI |
2019 |
27 |
Bag Semantics of DL-Lite with Functionality Axioms.
|
ISWC |
2019 |
3 |
Logical Foundations of Linked Data Anonymisation.
|
JAIR |
2019 |
16 |
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.
|
IJCAI |
2019 |
6 |
Query-Based Entity Comparison in Knowledge Graphs Revisited.
|
ISWC |
2019 |
6 |
Foundations of ontology-based data access under bag semantics.
|
Artificial Intelligence |
2019 |
18 |
Stratified Negation in Limit Datalog Programs.
|
IJCAI |
2018 |
7 |
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
|
JAIR |
2018 |
10 |
The Window Validity Problem in Rule-Based Stream Reasoning.
|
KR |
2018 |
7 |
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
|
IJCAI |
2018 |
11 |
Logical foundations of information disclosure in ontology-based data integration.
|
Artificial Intelligence |
2018 |
32 |
Stream Reasoning in Temporal Datalog.
|
AAAI |
2018 |
0 |
Entity Comparison in RDF Graphs.
|
ISWC |
2017 |
17 |
Source Information Disclosure in Ontology-Based Data Integration.
|
AAAI |
2017 |
12 |
The Bag Semantics of Ontology-Based Data Access.
|
IJCAI |
2017 |
15 |
Semantic Faceted Search with Aggregation and Recursion.
|
ISWC |
2017 |
29 |
SemFacet: Making Hard Faceted Search Easier.
|
CIKM |
2017 |
19 |
Foundations of Declarative Data Analysis Using Limit Datalog Programs.
|
IJCAI |
2017 |
16 |
Logical Foundations of Privacy-Preserving Publishing of Linked Data.
|
AAAI |
2016 |
29 |
Module Extraction in Expressive Ontology Languages via Datalog Reasoning.
|
JAIR |
2016 |
39 |
Capturing Industrial Information Models with Ontologies and Constraints.
|
ISWC |
2016 |
62 |
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.
|
Artificial Intelligence |
2016 |
31 |
Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.
|
WWW |
2016 |
30 |
Extending Consequence-Based Reasoning to SRIQ.
|
KR |
2016 |
0 |
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.
|
IJCAI |
2015 |
31 |
The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
|
IJCAI |
2015 |
14 |
Computing Horn Rewritings of Description Logics Ontologies.
|
IJCAI |
2015 |
5 |
Ontology Module Extraction via Datalog Reasoning.
|
AAAI |
2015 |
0 |
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.
|
JAIR |
2015 |
0 |
On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes.
|
ISWC |
2014 |
24 |
Pushing the Boundaries of Tractable Ontology Reasoning.
|
ISWC |
2014 |
13 |
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.
|
AAAI |
2014 |
29 |
Pay-As-You-Go OWL Query Answering Using a Triple Store.
|
AAAI |
2014 |
31 |
Faceted Search over Ontology-Enhanced RDF Data.
|
CIKM |
2014 |
58 |
Making the most of your triple store: query answering in OWL 2 using an RL reasoner.
|
WWW |
2013 |
39 |
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
|
JAIR |
2013 |
118 |
Complete Query Answering over Horn Ontologies Using a Triple Store.
|
ISWC |
2013 |
19 |
Computing Datalog Rewritings Beyond Horn Ontologies.
|
IJCAI |
2013 |
33 |
Controlled Query Evaluation over OWL 2 RL Ontologies.
|
ISWC |
2013 |
32 |
Benchmarking Ontology-Based Query Rewriting Systems.
|
AAAI |
2012 |
39 |
MORe: Modular Combination of OWL Reasoners for Ontology Classification.
|
ISWC |
2012 |
92 |
Ontology Evolution Under Semantic Constraints.
|
KR |
2012 |
35 |
Large-scale Interactive Ontology Matching: Algorithms and Implementation.
|
ECAI |
2012 |
159 |
Acyclicity Conditions and their Application to Query Answering in Description Logics.
|
KR |
2012 |
34 |
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.
|
JAIR |
2012 |
45 |
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
|
JAIR |
2012 |
0 |
What to Ask to an Incomplete Semantic Web Reasoner?.
|
IJCAI |
2011 |
10 |
LogMap: Logic-Based and Scalable Ontology Matching.
|
ISWC |
2011 |
477 |
Repairing Ontologies for Incomplete Reasoners.
|
ISWC |
2011 |
16 |
Completeness Guarantees for Incomplete Reasoners.
|
ISWC |
2010 |
6 |
Pushing the Limits of Reasoning over Ontologies with Hidden Content.
|
KR |
2010 |
9 |
How Incomplete Is Your Semantic Web Reasoner?
|
AAAI |
2010 |
41 |
Representing ontologies using description logics, description graphs, and rules.
|
Artificial Intelligence |
2009 |
69 |
Import-by-Query: Ontology Reasoning under Access Limitations.
|
IJCAI |
2009 |
8 |
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.
|
ESWC |
2009 |
140 |
Metalevel Information in Ontology-Based Applications.
|
AAAI |
2008 |
29 |
Representing Structured Objects using Description Graphs.
|
KR |
2008 |
25 |
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.
|
ESWC |
2008 |
119 |
Modular Reuse of Ontologies: Theory and Practice.
|
JAIR |
2008 |
436 |
Structured objects in owl: representation and reasoning.
|
WWW |
2008 |
83 |
Privacy-Preserving Query Answering in Logic-based Information Systems.
|
ECAI |
2008 |
32 |
Just the right amount: extracting modules from ontologies.
|
WWW |
2007 |
267 |
A Logical Framework for Modularity of Ontologies.
|
IJCAI |
2007 |
168 |
Repairing Unsatisfiable Concepts in OWL Ontologies.
|
ESWC |
2006 |
238 |
From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
|
KR |
2006 |
62 |
Modularity and Web Ontologies.
|
KR |
2006 |
160 |
Integrating Datalog with OWL: Exploring the AL-log Approach.
|
ICLP |
2006 |
7 |
Generalized Link Properties for Expressive epsilon-Connections of Description Logics.
|
AAAI |
2005 |
9 |
Working with Multiple Ontologies on the Semantic Web.
|
ISWC |
2004 |
141 |
A possible simplification of the semantic web architecture.
|
WWW |
2004 |
46 |