Reasoning Algebraically with Description Logics
Semantic Web applications based on the Web Ontology Language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes. Some of these cardinalities are specified explicitly, but quite a few are entailed and need to be d...
Main Author: | |
---|---|
Format: | Others |
Published: |
2011
|
Online Access: | http://spectrum.library.concordia.ca/35825/4/Faddoul_PhD_F2011.pdf Faddoul, Jocelyne <http://spectrum.library.concordia.ca/view/creators/Faddoul=3AJocelyne=3A=3A.html> (2011) Reasoning Algebraically with Description Logics. PhD thesis, Concordia University. |