Decidability of Circumscribed Description Logics Revisited (Q5172610): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The DL-Lite Family and Relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4406531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3112648 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of Circumscription in DLs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tractable reasoning and efficient query answering in description logics: The DL-Lite family / rank
 
Normal rank
Property / cites work
 
Property / cites work: Defeasible Inheritance-Based Description Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Description logics of minimal knowledge and negation as failure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combining answer set programming with description logics for the semantic web / rank
 
Normal rank
Property / cites work
 
Property / cites work: The first order properties of products of algebraic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Preferential Description Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A non-monotonic description logic for reasoning about typicality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model-theoretic inseparability and modularity of description logic ontologies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic-based ontology comparison and module extraction, with an application to DL-Lite / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reconciling description logics and rules / rank
 
Normal rank

Latest revision as of 15:27, 9 July 2024

scientific article; zbMATH DE number 6397332
Language Label Description Also known as
English
Decidability of Circumscribed Description Logics Revisited
scientific article; zbMATH DE number 6397332

    Statements

    Decidability of Circumscribed Description Logics Revisited (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    4 February 2015
    0 references
    nonmonotonic description logic
    0 references

    Identifiers