Towards practical deletion repair of inconsistent DL-programs

MaRDI QIDQ5282982zbMATH OpenFDO

Authors Thomas Eiter, Michael Fink, Daria Stepanova

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36954

Mathematics Subject Classification ID

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

Recommendations

• Data repair of inconsistent nonmonotonic description logic programs
• Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies
• Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies
• -ASP for computing repairs with existential ontologies
• scientific article; zbMATH DE number 1954112

Cited in

(7)

• A formalism unifying defeasible logics and repair semantics for existential rules
• Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies
• Datalog^ ontology consolidation
• Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies
• Data repair of inconsistent nonmonotonic description logic programs
• Inlining external sources in answer set programs
• -ASP for computing repairs with existential ontologies

This page was built for publication: Towards practical deletion repair of inconsistent DL-programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282982)