The Description Logic Handbook
From MaRDI portal
Publication:5309957
DOI10.1017/CBO9780511711787zbMath1132.68055OpenAlexW1555563750MaRDI QIDQ5309957
No author found.
Publication date: 5 October 2007
Full work available at URL: https://doi.org/10.1017/cbo9780511711787
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Related Items (94)
Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Towards World Identification in Description Logics ⋮ Problems of constructing intelligent systems. Levels of intelligence ⋮ Memory-limited model-based diagnosis ⋮ The Bayesian ontology language \(\mathcal {BEL}\) ⋮ A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Representing ontologies using description logics, description graphs, and rules ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ A Unifying Perspective on Knowledge Updates ⋮ A tetrachotomy of ontology-mediated queries with a covering axiom ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ OWL reasoning: subsumption test hardness and modularity ⋮ The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics ⋮ A description logic based situation calculus ⋮ Three-valued semantics for hybrid MKNF knowledge bases revisited ⋮ Querying the Unary Negation Fragment with Regular Path Expressions. ⋮ Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ Interval-valued intuitionistic fuzzy soft sets and their properties ⋮ Integrity constraints in OWL ontologies based on grounded circumscription ⋮ Approximate classification with web ontologies through evidential terminological trees and forests ⋮ Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting ⋮ The Probabilistic Description Logic ⋮ Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases ⋮ Sequential model-based diagnosis by systematic search ⋮ On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging ⋮ Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics ⋮ The OWL reasoner evaluation (ORE) 2015 competition report ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases ⋮ Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) ⋮ Decidable Description Logics of Context with Rigid Roles ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ Towards provenance in heterogeneous knowledge bases ⋮ Pinpointing axioms in ontologies via ASP ⋮ Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ Local closed world reasoning with description logics under the well-founded semantics ⋮ Concept learning in description logics using refinement operators ⋮ Cheap Boolean Role Constructors for Description Logics ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ Individual Reuse in Description Logic Reasoning ⋮ Characterization, definability and separation via saturated models ⋮ A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions ⋮ Semantic operations of multiple soft sets under conflict ⋮ Consequence-based and fixed-parameter tractable reasoning in description logics ⋮ Open-world probabilistic databases: semantics, algorithms, complexity ⋮ Automata can show PSpace results for description logics ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Adding the power-set to description logics ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ Reasoning and Query Answering in Description Logics ⋮ OWL 2 Profiles: An Introduction to Lightweight Ontology Languages ⋮ Guest editors' introduction ⋮ From description-logic programs to multi-context systems ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ A goal-directed implementation of query answering for hybrid MKNF knowledge bases ⋮ The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself ⋮ Tractability and intractability of controlled languages for data access ⋮ Inductive Logic Programming in Databases: From <scp>Datalog</scp> to ⋮ Semantic decision making using ontology-based soft sets ⋮ Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes ⋮ Extending soft sets with description logics ⋮ A logic for diffusion in social networks ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ Problems of constructing intelligent systems. Knowledge representation ⋮ (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) ⋮ Fudge: fuzzy ontology building with consensuated fuzzy datatypes ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge ⋮ Representation, analysis, and extraction of knowledge from unstructured natural language texts ⋮ Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog ⋮ ReAD: AD-based modular ontology classification ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ A Mathematical Approach to Ontology Authoring and Documentation ⋮ A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$ ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ The loop formula based semantics of description logic programs ⋮ A formal model of semantic computing ⋮ Introducing Role Defeasibility in Description Logics ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Maintenance of datalog materialisations revisited ⋮ Combining Description Logics, Description Graphs, and Rules ⋮ A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) ⋮ Deciding inseparability and conservative extensions in the description logic ⋮ Typicalities and probabilities of exceptions in nonmotonic description logics ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries ⋮ Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy ⋮ HermiT: an OWL 2 reasoner ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies ⋮ Reasoning with nominal schemas through absorption
This page was built for publication: The Description Logic Handbook