yusuke1997/dblp-id-title huggingface dataset:
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis
Temporal Conceptual Modelling with DL-Lite
Reasoning in description logics with variables: preliminary results regarding the EL logic
Interval Temporal Description Logics
Object Persistency, View Maintenance and Query Optimization in OSIRIS, a DL-like OODBMS
PSPACE Automata for Description Logics
From SHOQ(D) Toward E-connections
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)
Using Higher-order Description Logics for Learning and Mining in Complex Domains
Conjunctive Queries for EL with Composition of Roles
Towards Implementing Finite Model Reasoning in Description Logics
How far is an Object Model from DL
Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals
Implementing Matching in ALE--First Results
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
Containment of Conjunctive LTL Queries
Matching in Description Logics with Existential Restrictions
Defaults and Descriptions
A Resolution Based Description Logic Calculus
Forgetting in General EL Terminologies
Empirical Study of Logic-Based Modules: Cheap Is Cheerful
Rules and Queries with Ontologies: a Unifying Logical Framework
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
Partitioning ABoxes Based on Converting DL to Plain Datalog
Complexity of Answering Counting Aggregate Queries over DL-Lite
On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom
Modelling Object Typicality in Description Logics
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract)
Łukasiewicz Fuzzy EL is Undecidable
Model-theoretic Characterizations of Rule-based Ontologies
Modeling Software
Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL
Probably Approximately Correct Completion of Description Logic Knowledge Bases
Equality-Friendly Well-Founded Semantics and Applications to Description Logics
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020
Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract)
A Connection Method for a Defeasible Extension of ALC
Correcting Access Restrictions to a Consequence More Flexibly
Prime Implicate Normal Form for ALC Concepts
Particles of the Part Whole Relation
Computing ABox Justifications for Query Answers via Datalog Rewriting
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
A Note on the Representation and Manipulation of Structures
Using Terminological Logics in a Problem Solver
RDFS(FA): A DL-ised Sub-language of RDFS
Status Report on Description Logics related Project in Korea
Updating DLs Using the AGM Theory: A Preliminary Study
Path Description Dependencies in Feature-Based DLs
Hybrid EL-Unification is NP-complete
An Ontology-Based Archive for Historical Research
Inconsistency Management in Generalized Knowledge and Action Bases
Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples
Specifying the Disjoint Nature of Object Properties in DL
Perceptron Operators That Count
Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016
Complexity Landscape for Counting Queries (Extended Abstract)
Translating Equilibrium Description Logics into Circumscription
The new ICOM Ontology Editor
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Temporal DL-Lite over Finite Traces (Preliminary Results)
Reducing OWL Entailment to Description Logic Satisfability
Completion Graph Caching for Expressive Description Logics
A Suggestion for an n-ary Description Logic
Learning and Reasoning with Logic Tensor Networks: the Framework and an Application
Reasoning about Nominals with FaCT and RACER
Optimising Parallel ABox Reasoning of EL Ontologies
Adding Context to Tableaux for DLs
FaCT and iFaCT
DARPA's High Performance Knowledge Base (HPKB) Program
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
A Protege Plug-in for Defeasible Reasoning
The Projection Problem for EL Actions
Gödel Negation Makes Unwitnessed Consistency Crisp
A Possibilistic Extension of Description Logics
Finite Satisfiability of UML Class Diagrams by Constraint Programming
Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract)
Extending Description Logics with Generic Concepts - the Case of Terminologies
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
A Description Logic of Change
Extending DL-Lite_A with (Singleton) Nominals
The Homomorphism Lattice, Unique Characterizations, and Concept Learning
Cartographic Approach to Knowledge Representation and Management in KaSeA
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting
Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces
The Modular Structure of an Ontology: Atomic Decomposition towards Applications
Exact Learning of TBoxes in EL and DL-Lite
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018
Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language
A Hypertableau Calculus for SHIQ
Computing Concept Covers: a Preliminary Report
Integrating Concept-Based Knowledge Bases
Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract)
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules
Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases
Towards Typed Higher-Order Description Logics
Towards Expressive Metamodelling with Instantiation
On the Uniform One-dimensional Fragment
Bayesian Description Logics
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract
Relationships with other Formalisms
Expressive Querying over Fuzzy DL-Lite Ontologies
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract)
Generating Comprehensible Explanations in Description Logic
Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract)
How to Approximate Ontology-Mediated Queries (Extended Abstract
The Combined Complexity of Reasoning with Closed Predicates in Description Logics
Optimizing TBox and ABox Reasoning with Pseudo Models
Tractable Compliance Checking with Negation
Ontology of Integration and Integration of Ontologies
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
DL Actions with GCIs: a Pragmatic Approach
Circumscription in DL-Lite: Progress Report
Bidirectional Reachability-Based Modules
Narcissists, Stepmothers and Spies
The Representation of Structured Objects in DLs using Description Graphs
Consequence-Driven Reasoning for Horn SHIQ Ontologies
Rational Grading in an Expressive Description Logic
Cyclic, Transitive, and Concrete Extensions of Concept Languages
Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk)
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract)
Towards Parallel Repair: An Ontology Decomposition-based Approach
Complexity of Reasoning
The Complexity of Concept Languages (Extended Abstract)
Towards Ontology-Mediated Planning with OWL DL Ontologies
An Aleatoric Description Logic for Probabilistic Reasoning
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite
Sofware Asset Classification and Retrieval with DL: the Intelligent Reuse Assistant
Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles
Description Logics with Transitive Roles
Complexity of Axiom Pinpointing in the DL-Lite Family
When is Query Inseparability for ALC Ontologies Decidable?
Query Rewriting Beyond DL-Lite
Musical Harmony Analysis with Description Logics
Role-depth Bounded Least Common Subsumers for EL+ and ELI
UEL: Unification Solver for EL
Evaluation Metrics in Ontology Modules
Description Logic Reasoning for Dynamic ABoxes
Decidability Frontier for Fragments of First-Order Logic with Transitivity
First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases
Comparing the Expressiveness of Description Logics
Decidable Contextualized DLs with Rigid Roles
Efficient Duplicate Elimination in SPARQL to SQL Translation
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)
Evaluating Mapping Repair Systems with Large Biomedical Ontologies
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
Backward/Forward with Marking for Update Streams
Towards Defeasible SROIQ
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
Unification of Concept Terms in Description Logics
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account
Reasoning about Belief Uncertainty in DL Lite N bool
A Richer Policy Language for GDPR Compliance
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005
Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes
Structural Theory of Science as a Systematic Framework for the Design of DL's and CD's for E-science
Checking DL-Lite Modularity with QBF Solvers
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable
On Mixed Semantics of Path Description Dependencies in FunDL
Fixed-Domain Reasoning for Description Logics
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract)
SROIQ Syntax Approximation by Using Nominal Schemas
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract)
Towards Explicative Inference for OWL
Temporal Query Answering in EL
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Implementing Completion-Based Inferences for the EL-family
Efficient Upper Bound Computation of Query Answers in Expressive Description Logics
RACE System Description
Hybrid Architecture of DL Knowledge Base in KaSeA
DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract)
CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States
Reasoning in a Rational Extension of SROEL
Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering
Model checking the basic modalities of CTL with Description Logic
New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access
Fair Cycle Detection using Description Logic Reasoning
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure?
DL-based Support to Domain Engineering
Fine-Grained Forgetting for the Description Logic ALC
Position Paper - Terminological Logics Workshop
Keys for Free in Description Logics
An ExpSpace Tableau-based Algorithm for SHOIQ
Switching Terminologies - Creating a New View of An Old World: Preliminary Report
A Description Logic with Transitive and Inverse Roles and Role Hierarchies
Beyond Optimal: Interactive Identification of Better-Than-Optimal Repairs (Extended Abstract)
Optimizing Tableau Reasoning in ALC Extended with Uncertainty
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox
Towards Situation Discovery for Clustering Instances
Temporal Description Logics over Finite Traces
On the Scalability of Description Logic Instance Retrieval
Using a Description Logic with Concept Inclusions
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
Supporting the Design of Ontologies for Data Access
Query-by-Example for Expressive Horn Description Logics
Towards Constructive DL for Abstraction and Refinement
Attack Goal Generation Using Description Logic-based Knowledge Representation
Efficient Reasoning with Range and Domain Constraints
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
Research Interests
Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019
Digital Libraries and Web-based Information Systems
DL Systems Comparison (Summary Relation)
Explaining ALC Subsumption
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries
Rough EL Classification
Evaluating the Interpretability of Tooth Expressions (Extended Abstract)
On Faceted Search over Knowledge Bases
Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014
ABox Abduction Solver Exploiting Multiple DL Reasoners
NeoClassic
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract)
Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic
A Description Logic System for Learning in Complex Domains
OptiqueVQS: Visual Query Formulation for OBDA
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
On Non-normal Modal Description Logics
Transition Constraints for Temporal Attributes
A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract)
Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)
Toward Updates in Description Logics
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries
Concept-Based Semantic Difference in Expressive Description Logics
Data Accuracy as Knowledge in Ontology Based Data Access (preliminary report)
Belief Contraction in the Description Logic EL
Querying expressive DLs
Entity-oriented Search Engine Result Pages
Sorted Feature terms and Relational Dependencies
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract)
The Complexity of Probabilistic EL
Practical Datalog Rewriting for Existential Rules
Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases
Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information
Empowering Knowledge Bases: a Machine Learning Perspective
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
Towards Efficient Reasoning for Description Logics with Inverse Roles
A Note on DL-Lite with Boolean Role Inclusions
Information Integration through Unification of Feature Structures
Using DL to Support a very Large Healthcare Terminology: Successes and Challenges
Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications
Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001
Distributed Island-based Query Answering for Expressive Ontologies
The Bayesian Description Logic BALC
Computing Least Common Subsumers for FLE +
Modularity in DL-Lite
Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies
Description Logic in Semantics Querying
On Conjunctive Query Answering in EL
Classifying Fuzzy Subsumption in Fuzzy-EL+
Incremental Query Answering for Implementing Document Retrieval Services
Incremental Individual Reasoning in ProtoDL
The Description Logic Handbook: Theory, Implementation, and Applications
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)
All Elephants are Bigger than All Mice
A DL to describe classes of queries and mapping information of an interoperable data system
Gödel FL_0 with Greatest Fixed-Point Semantics
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research)
Consequence Finding in ALC
Optimizations for Answering Conjunctive ABox Queries
On P/NP Dichotomies for EL Subsumption under Relational Constraints
Defeasible Reasoning with Prototype Descriptions: First Steps
A Proposal for a Layered Architecture for a Hybrid Object-Based Representation System
Description Logic Unplugged
Cost-Efficient Web Service compositions for querying processes over reasoning services
The Instance Store: DL Reasoning with Large Numbers of Individuals
Essential and Mandatory Part-Whole Relations in Conceptual Data Models
Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+
Patent Valuation Using Difference in ALEN
Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results
Tableau Caching for Description Logics with Inverse and Transitive Roles
LTL over Description Logic Axioms
Approximating ALCN-Concept Descriptions
Object-Oriented Programming Support for CLASSIC
DL-Lite with Attributes and Sub-Roles (Extended Abstract)
OntoXpl: Exploration of OWL Ontologies
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report
Reasoning with DL-based CP-nets
SAT-Based Axiom Pinpointing Revisited
Defeasible Justification for KML-Style Logic
Classifying Description Logics
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998
Unification in the Description Logic EL without the Top Concept
Relativizing Concept Descriptions to Comparison Classes
Query Inseparability by Games
CRACK
Modal Separability of Fixpoint Formulae
Provenance for the Description Logic ELHr (Extended Abstract)
Computation of Interpolants for Description Logic Concepts in Hard Cases
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents
Advanced Languages of Terms for Ontologies
Extending Tableaux Calculus with Limited Regular Expression for Role Path: an Application to Natural Language Processing
Naive ABox abduction in ALC using a DL tableau
Combining XML and DL for describing and querying documents
Handling Nominals and Inverse Roles using Algebraic Reasoning
F-Logic as a Basis for a General Description Logic
From Terminological Logics to Modal Logics
Description Logics for Databases
Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract)
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results
Feature-Based Learners for Description Logics
Towards Practical Defeasible Reasoning for Description Logics
Constructive Satisfiability Procedure for ALC P (Z) (Preliminary Report)
Using Lazy Unfolding for the Computation of Least Common Subsumers
A Hybrid Approach for Learning SNOMED CT Definitions from Text
Partial Reasoning in Knowledge Representation Systems Based on Description Logics
Experiments with the DFL Hybrid System
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata
Practical Reasoning in RACER with a Concrete Domain for Linear Inequations
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)
Applying Description Logics for Workflow Reuse and Repurposing
Reasonable Macros for Ontology Construction and Maintenance
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words
Conjunctive Query Containment in Description Logics with n-ary Relations
Instance-driven TBox Revision in DL-Lite
Distributed Description Logics: First results
Classification Rules for Semi-Structured Data
Verifying Contract-Based Specifications of Product Lines using Description Logic
ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes
Nonmonotonic Nominal Schemas Revisited
Probabilistic Datalog+/- under the Distribution Semantics
Rule Based Computation of Updates to Terminologies
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
Automated Evaluation of Description Logic Reasoning Systems
A Tool for Building Topic-specific Ontologies Using a Knowledge Graph
Towards Higher-Order DL-Lite
An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling
A higher-order semantics for OWL 2 QL ontologies (Extended abstract)
Making Axiom Weakening Work in SROIQ
On Higher-Order Description Logics
Extending DL-LiteR TBoxes with View Definitions
In the Eye of the Beholder: Which Proofs are Best?
Consistency Checking for Extended Description Logics
Finite Model Reasoning in Horn-SHIQ
Actively Learning Ontologies from LLMs: First Results (Extended Abstract)
Model Checking of Restricted CTL* Formulas using ALCK
XPath: (P)DL on Trees
TBoxes do not Yield a Compact Representation of Least Common Subsumers
Bisimulation-Based Comparisons for Interpretations in Description Logics
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Tableau-Based ABox Abduction for Description Logics: Preliminary Report
Learning Composite Concepts
Ontology-Based Access to Probabilistic Data
On Decidability and Tractability of Querying in Temporal EL
Planning of Axiom Absorption
A Survey of Revision Approaches in Description Logics
Extensions to Description Logics
Ontology Patterns with DOWL: The Case of Blending
Explanation of Terminological Reasoning: A Preliminary Report
Query Rewriting under Extensional Constraints in DL-Lite
A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application
Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009
Planning in Description Logics: Deduction versus Satisfiability Testing
Inspecting Concepts Graphically with Zoomable Lenses
Abstraction Refinement for Ontology Materialization
Optimal Rewritings in Definitorially Complete Description Logics
Virtual OBDA over Expressive Ontologies: Rewritings and Approximations
Planning Problems for Graph Structured Data in Description Logics
An Only Knowing Approach to Defeasible Description Logics (Extended Abstract)
Second-Order Description Logics: Semantics, Motivation, and a Calculus
Repairing Incomplete Reasoners
Spectra of Cardinality Queries over Description Logic Knowledge Bases (Extended Abstract)
Minimising Acyclic EL Ontologies
Two-Dimensional Description Logics of Context
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
DL-SR: a Lite DL with Expressive Rules: Preliminary Results
Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology
Knowledge Table Driven Ontology Enhancement
Handling Cyclic Conjunctive Queries
Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area
On Information Disclosure in Ontology-based Data Access (Extended Abstract)
Reasoning with Semantic Tableau Binary Trees in Description Logic
SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment
RSAComb: Combined Approach for CQ Answering in RSA
Datalog Rewriting Techniques for Non-Horn Ontologies