Incremental classification of description logics ontologies

DOI10.1007/S10817-009-9159-0MaRDI QIDQ972428zbMATH OpenOpenAlexWikidataFDO

Authors Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn

Publication date 26 May 2010

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-009-9159-0

zbMATH Keywords

description logicsontologiesOWL

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Error-tolerant reasoning in the description logic \(\mathcal{EL}\)
• Journal on Data Semantics II
• scientific article; zbMATH DE number 1948209
• Belief revision in non-classical logics.
• SOFSEM 2006: Theory and Practice of Computer Science

Cites work

• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• Debugging incoherent terminologies
• Deciding expressive description logics in the framework of resolution
• Extracting Modules from Ontologies: A Logic-Based Approach
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Modular reuse of ontologies: theory and practice
• Nonrecursive incremental evaluation of Datalog queries
• Optimized Reasoning in Description Logics Using Hypertableaux
• Quantitative temporal logics over the reals: PSpace and below

Cited in

(6)

• ReAD: AD-based modular ontology classification
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• scientific article; zbMATH DE number 1948209 (Why is no real title available?)
• Journal on Data Semantics II
• Incremental reasoning on monadic second-order logics with logic programming
• Effective and fast module extraction for nonempty ABoxes

Describes a project that uses

Uses Software

• Pellet
• FaCT++
• Racer
• CEL

This page was built for publication: Incremental classification of description logics ontologies

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