Article-Journal

Deduction in concept languages: From subsumption to instance checking

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Reasoning with individuals in concept languages

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Decidable reasoning in terminological knowledge representation systems

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
On the complexity of the instance checking problem in concept languages with existential quantification

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite