Incremental classification of description logics ontologies

DOI10.1007/S10817-009-9159-0zbMATH Open1209.68526OpenAlexW2024374530WikidataQ114689849 ScholiaQ114689849MaRDI QIDQ972428FDOQ972428

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

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

zbMATH Keywords

description logicsontologiesOWL

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Journal on Data Semantics II
• Incremental reasoning on monadic second-order logics with logic programming
• ReAD: AD-based modular ontology classification
• Title not available (Why is that?)
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

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)