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)