A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$

DOI10.1007/978-3-642-02906-6_38zbMath1245.68190OpenAlexW1520691500MaRDI QIDQ3638169

Guilin Qi, Zhisheng Huang, Fangkai Yang

Publication date: 2 July 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-02906-6_38

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Reducing belief revision to circumscription (and vice versa)
• Debugging incoherent terminologies
• On Instance-level Update and Erasure in Description Logic Ontologies
• Knowledge Base Revision in Description Logics
• The Description Logic Handbook

This page was built for publication: A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$