Combining description logics with stratified logic programs in knowledge representation

DOI10.1007/3-540-39963-1_35MaRDI QIDQ2766950zbMATH OpenFDO

Authors Jianhua Chen

Publication date 25 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-39963-1_35

Mathematics Subject Classification ID

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

Recommendations

• Combining description logics, description graphs, and rules
• Description logics in knowledge representation
• The expressive power of stratified logic programs
• The defining power of stratified and hierarchical logic programs
• A logical semantics for description logic programs
• Combining answer set programming with description logics for the semantic web
• Stratified partial-order logic programming
• scientific article; zbMATH DE number 1753135

Cited in

(3)

• Logic Programming in Knowledge Domains
• \(\mho\)-resolution and hybrid knowledge bases
• \({\mathcal E}\)-connections of abstract description systems

This page was built for publication: Combining description logics with stratified logic programs in knowledge representation

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