Incremental classification of description logics ontologies

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

Bernardo Cuenca Grau, Yevgeny Kazakov, Christian Halaschek-Wiener, 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 logics; ontologies; OWL

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

Incremental reasoning on monadic second-order logics with logic programming, 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