Automated deduction techniques for classification in description logic systems

DOI10.1023/A:1005866922570zbMath0893.68138OpenAlexW1512430070MaRDI QIDQ1383996

M. Paramasivam, David Alan Plaisted

Publication date: 13 April 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005866922570

zbMATH Keywords

knowledge representation systemsdescription logic systemsmechanical theorem provers

Mathematics Subject Classification ID

Related Items (3)

Towards resolution-based reasoning for connected logics ⋮ Combining enumeration and deductive techniques in order to increase the class of constructible infinite models ⋮ Let's plan it deductively!

Uses Software

• OTTER

This page was built for publication: Automated deduction techniques for classification in description logic systems