yusuke1997/dblp-id-title huggingface dataset:
Filling the Gap between OWL 2 QL and QuOnto: ROWLKit
Computing Solutions in OWL 2 QL Knowledge Exchange
Discovering description logic assertions from database schemes
Algebraic Reasoning for SHIQ
Efficient Explanation of Predictions on DL Knowledge Graphs through Enhanced Similarity Search
Classification problems in object-based representation systems
Open World Probabilistic Databases (Extended Abstract)
Mary Likes all Cats
Properties of Module Notions and Atomic Decomposition (Extended Abstract)
PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)
SHIN ABox Reduction
Distributed Search in the Semantic Web
On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
Towards a Model Ontology for Grail
2ATAs make DLs easy
Towards Conceptual Clustering in EL with Simulation Graphs
Advances in Accessing Big Data with Expressive Ontologies
Extending Hybridity within the YAK Knowledge Representation System
Experiences in 'Hybridification': Enhancement of a term Subsumption Language to Cover Plural and Quantified Terms
Ontology Reuse: Better Safe than Sorry
Union and Intersection of all Justifications (Extended Abstract)
A Technique for Handling the Right Hand Side of Complex RIAs
In the Search of Improvements to the EL+ Classification Algorithm
Local Closed World Semantics: Keep it simple, stupid!
Knowledge Representation Meets Databases - a View of the Symbiosys
Comparing Subsumption Optimizations
Merging DAML+OIL Bio-ontologies
SIVA: An Educational Tool for the Tableau Reasoning Algorithm
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006
FaCT
Introducing Nominals to the Combined Query Answering Approaches for EL
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
Computing the Least Common Subsumer w.r.t. a Background Terminology
Structural Subsumption: What Is It and Why Is It Important?
Speeding up Approximation with Nicer Concepts
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
From Description Logics to Logic Functors, and Back
Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract)
Arbitrary Ranking of Defeasible Subsumption
Exploiting Conjunctive Queries in Description Logic Programs
Reasoning for Fuzzy Description Logic with Comparison Expressions
Rewriting Aggregate Queries using Description Logic
Revising Ontologies
A Compatible Approach to Temporal Description Logics
Contextualized Knowledge Repositories with Justifiable Exceptions
On Partial Features in the DLF Dialects of Description Logic with Inverse Features
Satisfiability in EL with Sets of Probabilistic ABoxes
Ontology Alignment and the two DLs
On Knowledge Base Embeddings
Hybrid Query Answering Over DL Ontologies
Logical Difference and Module Extraction with CEX and MEX
Subsumption for Database Schema Design
The Virtual Knowledge Graph System Ontop (Extended Abstract)
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Combining Expression and Content in Domains for Dialog Managers
Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction
What Happened to Bob? Semantic Data Mining of Context Histories
Subsumption Propagation between Remote Ontologies in Distributed Description Logic
Using Description Logics for Consistency-based Diagnosis
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations
HAM-ALC
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Reasoning Services for an OWL Authoring Tool: An Experience Report
Brave and Cautious Reasoning in EL
Integrating Time into Terminological Logics
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008
Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
Preserving Modularity in XML Encoding of Description Logics
Exptime Tableaux for ALC
Analysis of Semantic Networks By Means of Description Logics
Reasoning About Typicality in ALC and EL
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Description Logics Emerge from Ivory Towers
A Corpus of OWL DL Ontologies
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France
Concept Model Semantics for DL Preferential Reasoning
Adding Threshold Concepts to the Description Logic EL
Incremental Decision Procedures for Modal Logic with Nominals and Eventualities
(Modal) Logics for Semistructed Data
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract)
Description Logics with Aggregates and Concrete Domains
Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract)
Temporalising EL Concepts with Time Intervals
Complexity of Reasoning in Entity Relationship Models
Elastiq: Answering Similarity-threshold Instance Queries in EL
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability
The Logical Difference For Fuzzy EL+ Ontologies
Counting Queries over ELHI⊥ Ontologies
Description Logic Terminology
Query rewriting using views in presence of value constraints
Generating Random Benchmarks for Description Logics
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract)
Optimization Techniques for Fuzzy Description Logics
A Hybrid Tableau Algorithm for ALCQ
Armstrong Relations for Ontology Design and Evaluation
Semantics of SPARQL under OWL 2 Entailment Regimes
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System
A Description Logic Based Approach for Matching User Profiles
Towards Practical Query Answering for Horn-SHIQ
Preliminary Investigations into Interactive Classification in DL
A Scheme for Integrating Datatype Groups into Description Logics
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)
Practical ABox Cleaning in DL-Lite (progress report)
The Use of Description Logics in the Condorcet Conceptual Information Retrieval System
Upwardly Abstracted Definition-Based Subontologies
Two Proposals for a Semantic Web Ontology Language
*SAT System Description
Decidability issues for action guarded logics
DL Reasoner vs. First-Order Prover
Simplicial Complexes for Description Logics Terminologies
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract)
Use of DL for shallow information analysis for texts
A DL Semantics for Reasoning over OVM-based Variability Models
Knowledge Representation in Process Engineering
Tractability Guarantees for DL-Lite Query Answering
Integrating Open Data: (How) Can Description Logics Help me?
Contextual Representation and Reasoning with Description Logics
Cardinality Queries over DL-Lite Ontologies (Extended abstract)
Knowledge Representation and Reasoning in the Time of Data-Centric AI (Abstract of Invited Talk)
A Conflict-based Operator for Mapping Revision
Certain Answers in a Rough World
e-Service Composition by Description Logics Based Reasoning
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract)
On Terminological Default Reasoning about Spatial Information: Extended Abstract
Lemmas for Justifications in OWL
SHOIQ with Transitive Closure of Roles Is Decidable
DL-Lite Full: A Sub-language of OWL 2 Full for Powerful Meta-modeling
Learning Query Inseparable ELH Ontologies (Extended Abstract)
Study and Formalization of a Case-Based Reasoning System with a Description Logic
A Consequence-based Algebraic Calculus for SHOQ
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract)
Eviction and Reception for Description Logic Concepts (Extended Abstract)
Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)
An Efficient Reasoner for Description Logics of Typicality and Rational Closure
Contextualization of a DL Knowledge Base
Open and Closed World Assumptions in Data Exchange
In the Hand of the Beholder: Comparing Interactive Proof Visualizations
Conceptual Modeling with Description Logics
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying
Bridging the Gap between Tableau and Consequence-Based Reasoning
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)
Practical Query Answering over Hi (DL-LiteR) Knowledge Bases
What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases
Provenance in Ontology-based Data Access
Semantics Driven Support for Query Formulation
Optimized DL Reasoning via Core Blocking
Making an ABox Persistent
Efficient Query Answering Through Approximation
Towards Using Description Logics for Symbolic Shape Analysis
Rewritability Results for OMQs with Closed Predicates
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox
On Relating Heterogeneous Elements from Different Ontologies
On Correspondences between Probabilistic First-Order and Description Logics
Preliminary Results on the Identity Problem in Description Logic Ontologies
SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)
*SAT, KSATC, DLP and TA: a comparative analysis
SRIQ and SROIQ are Harder than SHOIQ
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Efficient Reasoning in EL+
Logical Foundations for Reasoning about Transformations of Knowledge Bases
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract)
Querying Expressive DL Ontologies under the ICAR Semantics
Comonadic Semantics for Description Logics Games
Handling uncertainty: An extension of DL-Lite with Subjective Logic
Matchmaking augmented with general Knowledge
Sufficient Conditions for First-Order and Datalog Rewritability in ELU
Using a DL to Drive Query Interfaces
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)
Exploiting Partial Information in Taxonomy Construction
An Algebraic Approach to Dynamic Epistemic Logic
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations
Blocking Automata for PSPACE DLs
SEMilarity: Towards a Model-Driven Approach to Similarity
Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract)
Testing Description Logic Reasoners (Extended Abstract)
Sonic: System Description
DL-Lite: Practical Reasoning for Rich Dls
On Expressive Number Restrictions in Description Logics
The DIG Description Logic Interface
Finite Model Reasoning in DL-Lite with Cardinality Constraints
On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution
TBox Abduction in ALC Using a DL Tableau
Computing the lcs w.r.t. General EL+-TBoxes
Action Based ABox Update: an Example from the Chemical Compound Formulation
Semi-structured Data with Constraints and Incomplete Information
Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract)
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes
Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract)
Description Logics and the Two-Variable Fragment
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)
Making Description Logic Based Knowledge Representation Systems More Usable
Estimating Soundness and Completeness over Queries Over Description Logics
Decidability and Complexity of ALCOIF with Transitive Closure (and More)
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
Will my Ontologies Fit Together?
Extracting Finite Sets of Entailments from OWL Ontologies
Defined Topological Relations in Description Logics
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract)
Fuzzy Ontologies over Lattices with T-norms
Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract)
On the Complexity of Finding Good Proofs for Description Logic Entailments
A Comparison of Query Rewriting Techniques for DL-lite
Next Steps for ReAD: Modules for Classification Optimisation
Algebraic Lattices and Description Logics
FILO: Unification Solver for FL_0 (Extended Abstract)
Implementing an ALCRP(D) ABox Reasoner - Progress Report
Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract)
A Probabilistic Extension for Terminological Logics
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner
Justification Masking in OWL
Inside the Query Space of DL Knowledge Bases
Optimization Strategies for Instance Retrieval
Description Logic Inference Technology: Lessions Learned in the Trenches
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
Tracking Logical Difference in Industrial-Scale Ontologies
Reasoning with Black Boxes: Handling Test Concepts in CLASSIC
Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering
Rational Elimination of DL-Lite TBox Axioms
For a More Expressive Query Language
Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability
Partitioning OWL Knowledge Bases - Revisited and Revised
Identifying Objects Over Time with Description Logics
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract)
Quasi-Classical Semantics for Expressive Description Logics
Approximate Subsumption for Complex Description Logics
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)
Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted Individuals
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
Synthesizing and Executing Plans in Knowledge and Action Bases
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003
Knowledge Base Exchange
Predicting OWL Reasoners: Locally or Globally?
A Theoretical View on Reverse Engineering Problems for Database Query Languages
The Complexity of Conjunctive Query Abduction in DL-Lite
On Free Description Logics with Definite Descriptions
Why not? Developing ABox Abduction Beyond Repairs
Concurrent Classification of OWL Ontologies - An Empirical Evaluation
A Deductive Study of the C-CLASSICde Description Logic
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries
On the Closure of Description Logics under Substitutions
Weaving Ontology Aspects Using a Catalog of Structural Ontology Design Patterns
Ontology-Mediated Queries for NOSQL Databases
Inverting Subsumption for Constructive Reasoning
Fine Grained Information Integration with Description Logics
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract)
Combining Two Formalism for Reasoning about Concepts
Automatic Partitioning of OWL Ontologies Using E -Connections
A Stream-Temporal Query Language for Ontology Based Data Access
Decidable Reasoning over Timestamped Conceptual Models
Towards Privacy-Preserving Ontology Publishing
Controlled Query Evaluation over Lightweight Ontologies
Description Logic and Order-sorted Logic
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation
Modelling Structured Domains Using Description Graphs and Logic Programming
ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration
The K-Rep System Architecture
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)
10 Years Don't Mean Nothing?
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals
Conjunctive Query Entailment for SHOQ
Automata-based Pinpointing for DLs
A Tableaux-based Mobile DL Reasoner - An Experience Report
Towards Measuring Similarity in Description Logics
Unification in EL for Competency Question Generation
A proposal for describing services with DLs
On Spatial Reasoning with Description Logics - Position Paper
Description Logics and Guarded Fragments of First Order Logic
Checking Full Satisfiability of Conceptual Models
Argumentation Theory for Reasoning with Inconsistent Ontologies (Extended Abstract)
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Happy Ever After: Temporally Attributed Description Logics
Logic-Based Ranking of Assertions in Inconsistent ABoxes
Ontology Partitioning Using E-Connections Revisited
Comparing Natural Language Documents: a DL Based Approach
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
Induction of Optimal Semi-distances for Individuals based on Feature Sets
Concepts as Modal Operators in Description Logics
Resasoning about Concepts and Similarity
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification
Description Logic-baqsed Framrwork for Planning with Sensing Actions
Handling Boolean A Boxes
TBox and ABox Reasoning in Expressive Description Logics
On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs
A Resolution Based Framework to Explain Reasoning in Description Logics
Pellet: An OWL DL Reasoner
Making Decisions over Contextual Ontologies
Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcom
Explaining User Errors in Knowledge Base Completion
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming
Enumerating Justifications using Resolution
Shape and Content: Incorporating Domain Knowledge into Shape Analysis
A Note on Concepts and Distances
Finite Model Reasoning in ALCQI is EXPTIME Logics
Temporal Properties over Contextualized Description Logics
Adding Time to a Knowledge Representation Language
XPath for DL-Lite Ontologies
Description Logics and Feature Interaction
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)
Subsumption of Concepts in FL 0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
Logic for Modeling Product Structure
On (In)Tractability of OBDA with OWL 2 QL
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ
Query Rewriting and Optimisation with Database Dependencies in Ontop
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract)
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable
Finding Subsumers for Natural Language Presentation
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
Probably Approximately Correct Ontology Completion with pacco (Extended Abstract)
On the relationship between decidable fragments, non-classical logics, and description logics
A Tableau Algorithm for DLs with Concrete Domains and GCIs
On Bounded Positive Existential Rules
Datalog and Description Logics: Expressive Power - Preliminary Report
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)
TBox Reasoning in the Probabilistic Description Logic SHIQp
Consistent Query Answering over Description Logic Ontologies
Integrating Semantic Annotations in Bayesian Causal Models
Modal Logic Applied to Query Answering and the Case for Variable Modalities
Guiding Reification in OWL through Aggregation
On Importing Knowledge from DL Ontologies: Some Intuitions and Problems
On Query Answering in Description Logics with Number Restrictions on Transitive Roles
Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
High Performance Absorption Algorithms for Terminological Reasoning
On Queries with Inequalities in DL-LiteR≠
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas
Gödel Description Logics with General Models
Unchain My EL Reasoner
Direct Mappings under the Lens of Information Capacity (Extended Abstract)
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Combined Complexity of Answering Tree-like Queries in OWL 2 QL
Distance-based Measures of Inconsistency and Incoherency for Description Logics
Connecting Databases and Ontologies: A Data Quality Perspective
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC Experience
A New Application for Description Logics: Disaster Management
Taming Complex Role Inclusions for DL-Lite
Using Description Logic for Reasoning about Diagrammatical Notations
Automata-Based Abduction for Tractable Diagnosis
FO Rewritability for OMQ using Beth Definability and Interpolation
Module Extraction via Query Inseparability in OWL 2 QL
Description Logic and Faceted Knowledge Representation
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
Mathematical Theory Makes Formal Concept Analysis Versatile
Characterizing the semantics of terminological cycles with the help of finite automata
Around Unification in FL ⊥ - Three Related Problems (Extended Abstract)
Towards Explaining Semantic Matching
Query Evaluation over Networks of Logic-based Mediators (Position Paper)
Synthesizing Extensional Constraints in Ontology-Based Data Access
A Van Benthem Theorem for Horn Description and Modal Logic
Temporalising OWL 2 QL
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies
Characterising Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs (Extended Abstract)
Deciding FO-Rewritability in EL
Description Logics with Epsilon Individuals
Using Description Logic in Object-Oriented Software Development
Performance of DLP on Random Modal Formulae
Integrating Description Logics and Action Formalisms: First Results
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)
Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking
An Approach to the Integration of Term Description Languages and Clauses
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases
Conservative Rewritability of Description Logic TBoxes: First Results
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012
Temporal ABox Cleaning in TDL-Lite
More is Sometimes Less: Succinctness in EL
A Step Towards Second Order
Meta-modeling Extension of Horn-SROIQ and Query Answering
Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning
Query Rewriting for Nested Navigational Queries over Property Graphs
Partial and Informative Common Subsumers of Concepts Collections in Description Logics
An SAT-based Decision Procedure for ALC
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results