Mechanizing Mathematical Reasoning

DOI10.1007/B106663MaRDI QIDQ5717442zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Knowledge representation (68T30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Network design and communication in computer systems (68M10)

Recommendations

• About description logics and ontology
• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 2090284
• An introduction to description logic
• Description logics for ontologies

Cited in

(35)

• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
• scientific article; zbMATH DE number 1107649 (Why is no real title available?)
• A query language for logic architectures
• Petri nets over ontological graphs: conception and application for modelling tasks of robots
• scientific article; zbMATH DE number 1956476 (Why is no real title available?)
• Description Logics
• A tableau algorithm for description logics with concrete domains and general TBoxes
• scientific article; zbMATH DE number 2090062 (Why is no real title available?)
• About description logics and ontology
• Description logic for rough concepts
• scientific article; zbMATH DE number 5251111 (Why is no real title available?)
• Generalized fuzzy rough description logics
• Reasoning with concept diagrams about antipatterns in ontologies
• Ontology Integration Using ε-Connections
• scientific article; zbMATH DE number 2230857 (Why is no real title available?)
• Semantic forgetting in expressive description logics
• The semantic web
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• Ontologies and coherence spaces
• Reasoning with rough description logics: An approximate concepts approach
• The loop formula based semantics of description logic programs
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Fuzzy description logics under Gödel semantics
• scientific article; zbMATH DE number 1538054 (Why is no real title available?)
• On the scalability of description logic instance retrieval
• On the failure of the finite model property in some fuzzy description logics
• Strengthening parametrized-difference belief revision
• On integrating rules into the semantic web
• scientific article; zbMATH DE number 2088339 (Why is no real title available?)
• Web ontology representation and reasoning via fragments of set theory
• Fuzzy description logics with general t-norms and datatypes
• Towards contingent world descriptions in description logics
• Manifest domains: analysis and description
• Query answering in lattice-based description logic
• Composing Modular Ontologies with Distributed Description Logics

Describes a project that uses

Uses Software

• OilEd

This page was built for publication: Mechanizing Mathematical Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5717442)