A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

Bibliographische Detailangaben
Hauptverfasser: Kazakov, Y, Motik, B
Format: Journal article
Sprache:English
Veröffentlicht: 2008
Beschreibung
Zusammenfassung:

Ähnliche Einträge