Integrity constraints in OWL ontologies based on grounded circumscription

DOI10.1007/s11704-013-2284-2zbMath1425.68401OpenAlexW2085847495MaRDI QIDQ2418659

Xianji Cui, Yuxin Ye, Dantong Ouyang

Publication date: 28 May 2019

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-013-2284-2

zbMATH Keywords

description logicintegrity constraintsontologysemantic webgrounded circumscription

Mathematics Subject Classification ID

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

Related Items (1)

Active integrity constraints for general-purpose knowledge bases

Cites Work

• An epistemic operator for description logics
• Circumscription - a form of non-monotonic reasoning
• All I know: A study in autoepistemic logic
• Combining answer set programming with description logics for the semantic web
• Reconciling description logics and rules
• The Description Logic Handbook
• Description logics of minimal knowledge and negation as failure
• Unnamed Item
• Unnamed Item

This page was built for publication: Integrity constraints in OWL ontologies based on grounded circumscription