From Semantic Web Technologies

Jump to: navigation, search

From Appendix C

Logic

of Foundations of Semantic Web Technologies: