Reconciling OWL and non-monotonic rules for the semantic web

zbMATH Open1327.68275MaRDI QIDQ3457253FDOQ3457253

Authors: Matthias Knorr, Pascal Hitzler, Frederick Maier 

Publication date: 11 December 2015

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

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

Mathematics Subject Classification ID

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

Cited In (14)

• Typicalities and probabilities of exceptions in nonmotonic description logics
• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
• Title not available (Why is that?)
• Logic Programming
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• On combining ontologies and rules
• ASP for minimal entailment in a rational extension of SROEL
• FO(ID) as an extension of DL with rules
• 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
• Linking open-world knowledge bases using nonmonotonic rules
• On integrating rules into the semantic web
• 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)