Extracting Modules from Ontologies: A Logic-Based Approach

DOI10.1007/978-3-642-01907-4_8zbMath1242.68310OpenAlexW2140933517WikidataQ56988701 ScholiaQ56988701MaRDI QIDQ3631357

Bernardo Cuenca Grau, Yevgeny Kazakov, Ulrike Sattler, Ian Horrocks

Publication date: 9 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-01907-4_8

Mathematics Subject Classification ID

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

Related Items (4)

On decidability of the decomposability problem for finite theories ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Incremental classification of description logics ontologies ⋮ (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)

Uses Software

• PROMPT
• FaCT++

Cites Work

• Attributive concept descriptions with complements
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Unnamed Item
• Unnamed Item

This page was built for publication: Extracting Modules from Ontologies: A Logic-Based Approach