Mechanizing Mathematical Reasoning
From MaRDI portal
Publication:5717442
DOI10.1007/b106663zbMath1098.68705MaRDI QIDQ5717442
Franz Baader, Ian Horrocks, Ulrike Sattler
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106663
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68M10: Network design and communication in computer systems
68T27: Logic in artificial intelligence
68T30: Knowledge representation
Related Items
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach, Unnamed Item, Towards Contingent World Descriptions in Description Logics, Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots, Generalized fuzzy rough description logics, Manifest domains: analysis and description, On the failure of the finite model property in some fuzzy description logics, Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\), Semantic forgetting in expressive description logics, A tableau algorithm for description logics with concrete domains and general TBoxes, Fuzzy description logics under Gödel semantics, Reasoning with rough description logics: An approximate concepts approach, On the scalability of description logic instance retrieval, Fuzzy description logics with general t-norms and datatypes, Web ontology representation and reasoning via fragments of set theory, Reasoning with concept diagrams about antipatterns in ontologies, Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing, Ontology Integration Using ε-Connections, Composing Modular Ontologies with Distributed Description Logics, Description Logics
Uses Software