A parallel deduction for description logics with ALC language

MaRDI QIDQ3521798zbMATH OpenFDO

Authors Adam Meissner, Graẓyna Brzykcy

Publication date 26 August 2008

Mathematics Subject Classification ID

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

Recommendations

• Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
• Description Logics
• Parallelism in deductive inference on graph structures
• Description Logic Reasoning in Prolog
• Reasoning in basic description logics and description logics with modal operators

Cited in

(4)

• Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
• scientific article; zbMATH DE number 7234173 (Why is no real title available?)
• Inference in the \(\mathrm{FO(C)}\) modelling language
• Automated Deduction – CADE-19

This page was built for publication: A parallel deduction for description logics with \(\mathcal{ALC}\) language

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