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