Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis
A Description Logics Tableau Reasoner in Prolog
the stable model semantics for logic programming .
a distance - based paraconsistent semantics for dl - lite .
BitSim: An Algebraic Similarity Measure for Description Logics Concepts
NdFluents: An Ontology for Annotated Statements with Inference Preservation
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web
Datalog: Bag Semantics via Set Semantics
On the decidability and complexity of query answering over inconsistent and incomplete databases
Explaining Inconsistencies in OWL Ontologies
Semantic conflict resolution ontology (SCROL): an ontology for detecting and resolving data and schema-level semantic conflicts
A dynamic description logic for representation and reasoning about actions
Argumentation Semantics for Defeasible Logics
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft
ABox Abduction in the Description Logic ALC
The DLV System for Knowledge Representation and Reasoning
Deductive database languages: Problems and solutions
Empirical Evaluation and Combination of Advanced Language Modeling Techniques
Hearing at low and infrasonic frequencies
Cultural preferences for formal versus intuitive reasoning
Consistent query answers in inconsistent databases
Small-Variance Asymptotics for Hidden Markov Models