Incremental classification of description logics ontologies

DOI10.1007/s10817-009-9159-0zbMath1209.68526OpenAlexW2024374530WikidataQ114689849 ScholiaQ114689849MaRDI QIDQ972428

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

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)

Related Items (3)

Incremental reasoning on monadic second-order logics with logic programming ⋮ ReAD: AD-based modular ontology classification ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

Uses Software

• Pellet
• FaCT++
• Racer
• CEL

Cites Work

• Unnamed Item
• Unnamed Item
• Quantitative temporal logics over the reals: PSpace and below
• Deciding expressive description logics in the framework of resolution
• Nonrecursive incremental evaluation of Datalog queries
• Debugging incoherent terminologies
• Optimized Reasoning in Description Logics Using Hypertableaux
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• Extracting Modules from Ontologies: A Logic-Based Approach
• Linear-time algorithms for testing the satisfiability of propositional horn formulae

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