A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)
Հիմնական հեղինակներ: | Kazakov, Y, Motik, B |
---|---|
Ձևաչափ: | Journal article |
Լեզու: | English |
Հրապարակվել է: |
2008
|
Նմանատիպ նյութեր
-
A Resolution-Based Decision Procedure for SHOIQ.
: Kazakov, Y, և այլն
Հրապարակվել է: (2008) -
A Resolution−Based Decision Procedure for SHOIQ
: Kazakov, Y, և այլն
Հրապարակվել է: (2008) -
A Resolution−Based Decision Procedure for SHOIQ.
: Kazakov, Y, և այլն
Հրապարակվել է: (2006) -
A resolution-based decision procedure for SHOIQ
: Kazakov, Y, և այլն
Հրապարակվել է: (2008) -
RIQ and SROIQ are Harder than SHOIQ
: Kazakov, Y
Հրապարակվել է: (2008)