Current Data About
Reducing OWL entailment to description logic satisfiability
(P31) |
(Q13442814)
|
||||||||||||
(P50) |
(Q5981834)
(Q37680335)
|
||||||||||||
(P304) |
345-357
|
||||||||||||
(P433) |
4
|
||||||||||||
(P478) |
1
|
||||||||||||
(P577) |
+2004-10-00T00:00:00Z
|
||||||||||||
(P921) |
(Q387196)
|
||||||||||||
(P1433) |
(Q15708569)
|
||||||||||||
(P1476) |
"Reducing OWL entailment to description logic satisfiability" (language: en)
|
||||||||||||
(P2860) |
(Q58006980)
(Q55969583)
|
other details