yusuke1997/dblp-id-title huggingface dataset:
Querying Inconsistent Prioritized Data (Abstract of Invited Talk)
Ontology Module Extraction via Datalog Reasoning
Geometric Models for (Temporally) Attributed Description Logics
Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation
Polynomial Horn Rewritings for Description Logics Ontologies
Description Logics and Modal Logics
A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing
CICLOP
The Actual Weight of Lightweight Description Logics
Dealing with Inconsistencies due to Class Disjointness in SPARQL Update
Role Hierarchies and Number Restrictions
Optimized Construction of Secure Knowledge-Base Views
The Cognitive Complexity of OWL Justifications
Verification of Inconsistency-Aware Knowledge and Action Bases
Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract)
Absorption for ABoxes with Local Universal Restrictions
Query-based comparison of OBDA specifications
Using Description Logics in Relation Based Access Control
Extending OWL with Integrity Constraints
Extending Consequence-Based Reasoning to SHIQ
Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract)
Some Further Thoughts on Expressiveness and Tractability
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)
Actions over a Constructive Semantics for ALC
Rewriting Rules into SROIQ Axioms
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard
Conceptual Blending in EL++
Description of the RACER System and its Applications
Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract)
Modeling and Reasoning
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract)
E-Service Composition: Models and Formalisms
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract)
A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability
Complexity of Temporal Query Abduction in DL-Lite
Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)
Visualization of Description Logic Models
Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract)
A High Performance Semantic Web Query Answering Engine
Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies
Preference-Based Query Answering in Datalog+/- Ontologies
Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)
Assertional Mining in Description Logics
Query Answering over DL ABoxes: How to Pick the Relevant Symbols
Computing Concept Referring Expressions with Standard OWL Reasoners
A Kernel Revision Operator for Terminologies
Unification in ℰℒℋ ℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)
Unification in FL0 Modulo a Flat TBox
What's New in DLP
Testing the Adequacy of Automated Explanations of EL Subsumptions
On the Semantics of Epistemic Description Logics
SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMS
Complexities of Nominal Schemas
Efficient Approximation in DL-Lite of OWL 2 Ontologies
Semantic Difference in ALN
About Subsumption in Fuzzy EL
Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract)
Semantic Reasoning for Smog Disaster Analysis
Reasoning on UML Class Diagrams is EXPTIME-hard
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Explaining Description Logic Reasoning
Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods
A Well-founded Graph-based Summarization Framework for Description Logics
On Implementing Temporal Query Answering in DL-Lite (extended abstract)
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract)
Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?
Incremental Materialization Update via Abstraction Refinement
What's missing? DLs, OWL and the Ecology of Semantic Systems
On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract)
Structural Subsumption as a Basis for Intensional Semantics
Exhaustive Query Answering via Referring Expressions
Concept Definability and Interpolation in Enriched Models of EL-TBoxes
Implementing the n-ary Description Logic GF1¯
Defeasible Reasoning with Prototype Descriptions: A New Preference Order
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
Reasoning with Contextual Defeasible ALC
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Mona as a DL Reasoner
Managing QoS Acceptability for Service Selection: A Probabilistic Description Logics Based Approach
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract)
Concept Abduction and Contraction in Description Logics
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013
Description Logics for e-Service Composition
Black Box Techniques for Debugging Unsatisfiable Concepts
On Ordering Descriptions in a Description Logic
Reasoning in a Closed Terminology
Towards expressive KR systems integrating datalog and description logics: preliminary report
LAS: Extending Racer by a Large ABox Store
Eviction and Reception for Description Logic Ontologies (Extended Abstract)
Exchanging More than Complete Data
The Logical Way to Build a DL-based KR System
Preferential Default Reasoning on the Semantic Web
DL Abduction API v2 and GUI Interface (Extended Abstract)
Navigating the EL Subsumption Hierarchy
Nominal Schemas for Integrating Rules and Description Logics
A Matter of Principles: Towards the Largest DLP Possible
Reasoning with Bounded Self-reference Using Logical Interpreters
Fully Dynamic Materialization Maintenance
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract)
Schema Extraction for Semi-Structured Data
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains
Evaluation of Extraction Techniques for Ontology Excerpts
A Formal Characterization of Concept Learning in Description Logics
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step
On Conceptual Indexing in Terminological Systems
Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases
Unification in a Description Logic with Transitive Closure of Roles
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data
Improving Ontology Verbalization using Semantic-level Refinement (Extended Abstract)
A New Mapping from ALCI to ALC
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
Visualising a DL Knowledge Base with DeLogViz
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Towards Even More Irresistible Axiom Weakening
DL-Lite and Conjunctive Queries Extended by Optional Matching
Handling Imprecise Knowledge with Fuzzy Description Logic
Basic Description Logics
Tableau-Based ABox Abduction for the ALCHO Description Logic
Usability Issues in DL Systems
The Generation of DAML+OIL
Merge, Explain, Iterate
Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations
Optimizing Reasoning in Description Logics with Qualified Number Restrictions
Implementation and Optimization Techniques
Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes
Dwebic: An Intelligent Search Engine based on Default Description Logics
Practical Epistemic Entailment Checking in SROIQ
A Dynamic Extension of ALCO for Repairing via Preferred Updates
Using Description Logic to Formalize Role-Based Access Control Model
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Integrating Ontologies and Planning for Cognitive Systems
What It's Like to Be a Database Theorist in the Land of Multisets
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies
Query Rewriting Under Ontology Evolution
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes
Wikidata on MARS (Preliminary Report)
DLMedia: an Ontology Mediated Multimedia Information Retrieval System
DIP: A Defeasible-Inference Platform for OWL Ontologies
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
EXPTIME Tableaux for ALC Using Sound Global Caching
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements
Incremental Reasoning in EL+ without Bookkeeping
Set Description Languages and Reasoning about Numerical Features of Sets
Integrated Distributed Description Logics
A Design for Coordinated and Logics-mediated Conceptual Modelling
On Ordering and Indexing Metadata for the Semantic Web
Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025
Fuzzy DLs over Finite Lattices with Nominals
CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness
Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report
Optimising Resolution-Based Rewriting Algorithms for DL Ontologies
Protege-TS: An OWL Ontology Term Selection Tool
Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract)
Distributed Resolution for ALC
TBox Classification in Parallel: Design and First Evaluation
On Path-functional Dependencies as First-class Citizens in Description Logics
A Proposal for a Description Logic Interface
Coupling Ontologies with Document Spanners
Materialization Calculus for Contexts in the Semantic Web
Answering Counting Queries over DL-Lite Ontologies (Extended Abstract)
Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002
Paraconsistent Rough Description Logic
Typed Higher-Order Variant of SROIQ - Why Not?
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax
Exact Learning Description Logic Ontologies from Data Retrieval Examples
Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
Status QIO: An Update
Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract)
Can Description Logics Be Used in Real-Life Knowledge-Based Systems?
Dynamic Description Logic: Embracing Actions into Description Logic
MSPASS: Subsumption Testing with SPASS
Concept Projection in Algebras for Computing Certain Answer Descriptions
Small Datalog Query Rewritings for EL
Dismatching and Local Disunification in EL (Extended Abstract)
Inverse Roles Make Conjunctive Queries Hard
A new n -ary existential quantifier in description logics
Pushing the CFDnc Envelope
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)
On the Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract)
DFL - A Dialog Based Integration of Concept and Rule Reasoners
Mary, What's Like All Cats?
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023
Structural Models in Axiomatic SysML
Locality Properties of Extensions of First-Order Logic and their Use in Algorithms (Abstract of Invited Talk)
On Special Description Logics for Processes and Plans
From EL to Tractable Existential Rules with Complex Role Inclusions
Viewing the Web as a Distributed Knowledge Base
An Introduction to Description Logics
DL-Lite without UNA
Asking Queries about Frames
Compilation and Approximation of Conjunctive Queries by Concept Descriptions
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
On the Complexity of Semantic Integration of OWL Ontologies
Concept Abduction for Description Logics
OntoVQL: A Graphical Query Language for OWL Ontologies
Commonality Subtraction Operator for the EL Description Logic
Temporal Query Answering in DL-Lite
Temporal OBDA with LTL and DL-Lite
Uniform and Modular Sequent Systems for Description Logics
Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts
OBDA Beyond Relational DBs: A Study for MongoDB
Backtracking and Qualified Number Restrictions: Some Preliminary Results
On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)
Data Complexity in the EL family of DLs
PTime Combined Complexity and FPT in Ontology-Mediated Querying
Locality and Subsumption Testing in EL and Some of its Extensions
Tractable Concept Languages
Description Logic vs. Order-Sorted Feature Logic
Representability in DL-Lite_R Knowledge Base Exchange
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?")
A Parallel Reasoner for the Description Logic ALC
Mastro at Work: Experiences on Ontology-Based Data Access
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)
No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract)
Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies
An API for DL Abduction Solvers
Making Repairs in Description Logics More Gentle (Extended Abstract)
The Music Part Ontology (Extended Abstract)
Global Caching, Inverse Roles and Fixpoint Logics
On the Abstract Expressive Power of Description Logics with Concrete Domains
Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations
Applying DL in Automatic Dialogue Interpreting
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)
Actions and Programs over Description Logic Ontologies
Dynamic Bayesian Description Logics
Description Logics for Image Recognition: a preliminary proposal
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite
A Framework for Exploratory Query Answering with Ontologies
Adding ternary complex roles to ALCRP(D)
Two Upper Bounds for Conjunctive Query Answering in SHIQ
Representing SGML Documents in Description Logics
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions
ABox Reasoning with Transitive Roles and Axioms
Pellet System Description
Answering Expressive Path Queries over Lightweight DL Knowledge Bases
Editing Description Logic Ontologies with the Protégé OWL Plugin
The CLASSIC Knowledge Representation System: Implementation, Applications, and Beyond
Applying DLs for Retrieval in Case-Based Reasoning
Interests and Issues in Description (Terminological) Logics
Revising Ontologies via Models: The ALC-formula Case
Building Ontologies Collaboratively Using ContentCVS
Query Answering over SROIQ Knowledge Bases with SPARQL
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL
An HTML Interface for Classic
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999
Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage
Schema-Agnostic Query Rewriting for OWL QL
Using Description Logics for Indexing Audiovisual Documents
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity
Reification in SB-ONE
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics
Integrating Descriptions and Classification into a Predicate Calculus Framework
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Ontology-based Data Federation (Extended Abstract)
ORM2 Encoding into Description Logic (Extended Abstract)
Minimal Model Semantics and Rational Closure in Description Logics
Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract)
Understanding Ontologies in Scholarly Discipline
Model Comparison Games for Horn Description Logics: A Summary
DLMS: An Evaluation of KL-ONE in the Automobile Industry
Matchmarking Using an Instance Store: Some Preliminary Results
The ontocomc Ontology: A Semantic Framework for Hindemith's Harmonic System
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts
DeaLing with Ontologies using CODs
DLP System Description
Absorption-Based Query Entailment Checking for Expressive Description Logics
Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992
An ABox Revision Algorithm for the Description Logic EL_bot
Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes
Conjunctive Query Answering for Description Logics with Transitive Roles
Matching in Description Logics: Preliminary Results
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods
Attribute Inversion in Description Logic with Path Functional Dependencies
Reasoning-Supported Interactive Revision of Knowledge Bases
Graphol: Ontology Representation through Diagrams
From Play-In Scenarios To Code: An Achievable Dream
How to Benefit from Terminological Logics?
SPARQLing-Up the Web on-the-fly using Ontologies and Mappings
A Description Logic Model for Reacting in a Dynamic Environment
Query Answering in the Description Logic S
Epistemic First-order Queries over Description Logic Knowledge Bases
A Well-founded Semantics for Hybrid MKNF Knowledge Bases
Incremental Query Rewriting for OWL 2 QL
Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract)
Towards an Equivalence Degree of EL CQs (Extended Abstract)
Conjunctive Query Answering with Finitely Many Truth Degrees
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
Category-theoretical Semantics of the Description Logic ALC
Mapping Data to Higher-Order Description Logic Knowledge Bases
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals
Elimination of Complex RIAs without Automata
Ontologies for Knowledge Graphs?
Tableau Systems for SHIO and SHIQ
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL
Abductive Differences of Quantified ABoxes
Preliminary Results on Ontology-based Open Data Publishing
Restricted Unification in the DL FL0 (Extended Abstract)
Computing Least Common Subsumers in Expressive Description Logics
A Constructive Semantics for ALC
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing
General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step
Towards Parallel Classification of TBoxes
OntoComP System Description
Probabilistic ABox Reasoning: Preliminary Results
An Approach to Subsumption in a DL with Implication
Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract)
Diachronic Description Logics
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies
Logical Relevance in Ontologies
Answer Set Programs Challenged by Ontologies
Issues in Description Logics
A Non-Standard Approach to terminological Knowledge: The ITL System
The SAT-Tableau Calculus
Hybrid Logic and Description Logic
Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology
Improving DL-Learner on a Malware Detection Use Case
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract)
A Compilation Technique for Interactive Ontology-mediated Data Exploration
Verification of Conjunctive-Query Based Semantic Artifacts
Structure Preserving TBox Repair using Defaults
Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot
On the Complexity of Maslov's Class K (Extended Abstract)
A System for Learning GCI Axioms in Fuzzy Description Logics
Topological Reasoning in Basic Description
Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract)
Class Algebra as a Description Logic
Structural Subsumption Considered from an Automata-Theoretic Point of View
Long Rewritings, Short Rewritings
Data Minig in Hybrid Languages vis ILP
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)
A Semantic Algebra for Modularized Description Logics Knowledge Bases
Projection in a Description Logic of Context with Actions
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)
How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports
Expressive Description Logics
Saturated-Based Forgetting in the Description Logic SIF
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract)
Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning Approach
TBox Acquisition and Information Theory
Rational Closure in SHIQ
A UML-Based Method for Deciding Finite Satisfiability in Description Logics
Orel: Database-Driven Reasoning for OWL 2 Profiles
A MapReduce Algorithm for EL+
The Minimal Finite Model Visualization as an Ontology Debugging Tool
A Conceptual Clustering Algorithm for Semantic Data Models
An Upper Bound for Provenance in ELHr
Reasoning in the SHOQ(D n ) Description Logic
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach
On Concept Forgetting in Description Logics with Qualified Number Restrictions
Semiring Provenance in Expressive Description Logics
SHACL Satisfiability: What Can We Learn from DLs?
Adapting Optimization Techniques to Description Logics with Concrete Domains
Goal-Directed Tracing of Inferences in EL Ontologies
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
Preferential Role Restrictions
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
Towards Mobile Reasoning
Accessing Semistructured Data with KGs and LLMs
First Order Rewritability for Ontology Mediated Querying in Horn-DLFD
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs
On the Utility of CFDI
Query Rewriting over Shallow Ontologies
Query Rewriting in DL-Lite_^(HN)_horn
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL
Lifted Inference in Probabilistic Databases
Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies
Extending the Combined Approach Beyond Lightweight Description Logics
Querying Objects with Description Logics