Reconciling OWL and non-monotonic rules for the semantic web

MaRDI QIDQ3457253zbMATH OpenFDO

Authors Matthias Knorr, Pascal Hitzler, Frederick Maier

Publication date 11 December 2015

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

Mathematics Subject Classification ID

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

Recommendations

• Logic Programming
• Well-founded semantics for description logic programs in the semantic web
• Combining answer set programming with description logics for the semantic web
• On integrating rules into the semantic web
• Reconciling description logics and rules

Cited in

(15)

• Typicalities and probabilities of exceptions in nonmotonic description logics
• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
• scientific article; zbMATH DE number 2088364 (Why is no real title available?)
• Logic Programming
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
• On combining ontologies and rules
• FO(ID) as an extension of DL with rules
• ASP for minimal entailment in a rational extension of SROEL
• Semantic matchmaking with nonmonotonic description logics.
• Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
• FO(ID) as an extension of DL with rules
• On integrating rules into the semantic web
• Linking open-world knowledge bases using nonmonotonic rules
• Integration proposal for description logic and attributive logic -- towards semantic web rules

This page was built for publication: Reconciling OWL and non-monotonic rules for the semantic web

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