subsumption of properties?
Michael DeBellis <[email protected]> Mon, 11 Nov 2013 08:52:20 -0800 (PST)
| Newsgroups | gmane.comp.misc.ontology.protege.general |
|---|---|
| Message-ID | <[email protected]> |
--===============6997941088687901202== Content-Type: multipart/alternative; boundary="1335665764-109783589-1384188740=:97990" --1335665764-109783589-1384188740=:97990 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable I've been using Protege for a while now and one thing I'm still not clear o= n is when and why do you subclass a property?=A0 All the other capabilities= make perfect sense but I've never come across a system where you make subl= casses of properties or relations before. Can someone give a brief couple o= f sentences that explains this or point me to the appropriate place in the = documentation? =0A=0A=0AOne thing that would help is understanding the form= al definition of what it means to say one property is a subclass of another= . Looking at properties as relations it seems to me a necessary requirement= for property X to be a subclass=A0 of property Y is that the domain and ra= nge of X must be subsets of the domain and range of Y. But that doesn't see= m like a sufficient definition, I think I could create examples where that = was true but it doesn't seem appropriate to have the two properties be sub-= properties.=0A=0AMichael DeBellis=0A --1335665764-109783589-1384188740=:97990 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable <html><body><div style=3D"color:#000; background-color:#fff; font-family:ti= mes new roman, new york, times, serif;font-size:12pt"><div>I've been using = Protege for a while now and one thing I'm still not clear on is when and wh= y do you subclass a property? All the other capabilities make perfect= sense but I've never come across a system where you make sublcasses of pro= perties or relations before. Can someone give a brief couple of sentences t= hat explains this or point me to the appropriate place in the documentation= ? <br></div><div style=3D"color: rgb(0, 0, 0); font-size: 16px; font-family= : times new roman,new york,times,serif; background-color: transparent; font= -style: normal;"><br><span></span></div><div style=3D"color: rgb(0, 0, 0); = font-size: 16px; font-family: times new roman,new york,times,serif; backgro= und-color: transparent; font-style: normal;"><span>One thing that would hel= p is understanding the formal definition of what it means to say one property is a subclass of another. Looking at properties as relations it s= eems to me a necessary requirement for property X to be a subclass of= property Y is that the domain and range of X must be subsets of the domain= and range of Y. But that doesn't seem like a sufficient definition, I thin= k I could create examples where that was true but it doesn't seem appropria= te to have the two properties be sub-properties.</span></div><div style=3D"= color: rgb(0, 0, 0); font-size: 16px; font-family: times new roman,new york= ,times,serif; background-color: transparent; font-style: normal;"><br><span= ></span></div><div style=3D"color: rgb(0, 0, 0); font-size: 16px; font-fami= ly: times new roman,new york,times,serif; background-color: transparent; fo= nt-style: normal;"><span>Michael DeBellis</span></div></div></body></html> --1335665764-109783589-1384188740=:97990-- --===============6997941088687901202== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ protege-discussion mailing list [email protected] https://mailman.stanford.edu/mailman/listinfo/protege-discussion Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 --===============6997941088687901202==--