- From: Andrei S. Lopatenko <andrei@derpi.tuwien.ac.at>
- Date: Tue, 22 Jan 2002 10:03:20 +0100
- To: "Chris Mungall" <cjm@fruitfly.bdgp.berkeley.edu>
- Cc: <www-rdf-interest@w3.org>
Dear Chris here some very simple demonstrations of part-of relations and simple reasoning with them To test reasoning you can use FaCT - reasoner for Description Logics www.cs.man.ac.uk/~horrocks/FaCT/ and OilEd http://img.cs.man.ac.uk/oil/ - application to build up and maintain ontologies. OilEd works with FaCT as backend for reasoning 1 File door-e1.daml - correct ontology classes Car primitive Door - primitive Car-door - Door which is a part of Car Not-car-door - Door which is not a part of Car Part-of-Car - any Thing which is a prt of Car part-of transitive relation You can load the file into OilEd and then using interface load it into FaCT reasoner then you can test simple reasoning For reasoning, before loading ontology into FaCT open FaCT window (Allegro Common Lisp Console) and load KRIS interface - file kris-inteface.lisp in distributive of FaCT in my cases it was command n lisp console: (load 'f:\FaCTLISP\kris-interface.lisp) then frm OilEd load ontology into FaCT and ask something simple like (all_subs_c Part-of-Car) it measn which classes are subclasses of Part-of-Car FaCT will find that Car-door is a subclass of Part-of-Car 2 simple contradiction load file daml-e2.daml Really it is the first file, plus assertation (axiomatic form) that Car-door is disjoint to Part-of-Car You understand that it is wrong then run reasoner from OilEd and use see that Car-door is a wrong class (it is marked by red color in OilEd) to check it you can ask reasoner directly (satisfiable_c Door-car) you'll get NIL Best regards MSc Andrei S. Lopatenko Researcher Vienna University of Technology A chairman of CERIF Task Group euroCRIS conc. http://purl.org/NET/andrei ----- Original Message ----- From: "Chris Mungall" <cjm@fruitfly.bdgp.berkeley.edu> To: <benhood@gmx.net> Cc: <www-rdf-interest@w3.org>; <jena-dev@yahoogroups.com> Sent: Monday, January 21, 2002 8:17 PM Subject: Re: belongsTo > > > On Fri, 18 Jan 2002 benhood@gmx.net wrote: > > > Hallo, > > > > I was wondering if there was some generic way of expressing "belongsTo" > > between concepts. I have been repeatedly joining two concepts together, that > > don't have any rdfs:subClassOf or rdfs:subPropertyOf relation, say for example > > > > members of a club/family/organisation > > vocations as members of a union > > planets belonging to a solar system > > possesion of goods/items/qualities/skills/experience > > I work on a biological ontology which frequently uses "partOf" to capture > a wide variety of component/subcomponent relationships > > eg > > subprocessX partOf processY (conceptual composition of biological > processes) > > cell-componentX partOf larger-componentY (physical composition eg of > subcellular compartments) > > We use this in a strict "necessarilyPartOf" sense. > eg > "door partOf car" > would not be allowed, instead we'd have "car-door partOf car, car-door > subClassOf door". this is better for reasoning. > > i'm just getting into rdf/rdfs/daml+oil and i need to convert our ontology > to a standard format - does a standard property exist for this in > daml+oil? i don't want to invent new properties where perfectly good ones > exist. > > > > These concepts appear to me to have no hierarchial relationship and just > > defining the group as list of its members doesn't seem to do justice to my > > conceptual understanding of the entity "group". > > > > daml:oneOf seems to do the job in a number of situations, ie > > > > >>> for oneOf(C, L) read everything in C is one of the things in L; > > > > but I don't think it hits the nail of the head. > > > > Does anybody else think one should generalize the concept of belonging to > > something, or I am just missing the point? > > > > Thanks > > > > Ben > > > > > > begin 666 door-e1.daml M/#]X;6P@=F5R<VEO;CTB,2XP(B _/@T*/"$M+2!G96YE<F%T960@8GD@3VEL M160@*&AT=' Z+R]I;6<N8W,N;6%N+F%C+G5K+V]I;"D@+2T^#0H\(2TM(%1U M92!*86X@,C(@,#DZ-#,Z-#4@0T54(#(P,#(@+2T^#0H\<F1F.E)$1B!X;6QN M<STB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M;",B('AM;&YS.F1A;6P](FAT M=' Z+R]W=W<N9&%M;"YO<F<O,C P,2\P,R]D86UL*V]I;",B('AM;&YS.F]I M;&5D/2)H='1P.B\O:6UG+F-S+FUA;BYA8RYU:R]O:6PO;VEL960C(B!X;6QN M<SIR9&8](FAT=' Z+R]W=W<N=S,N;W)G+S$Y.3DO,#(O,C(M<F1F+7-Y;G1A M>"UN<R,B('AM;&YS.G)D9G,](FAT=' Z+R]W=W<N=S,N;W)G+S(P,# O,#$O M<F1F+7-C:&5M82,B/CQD86UL.D]N=&]L;V=Y(')D9CIA8F]U=#TB(CX\<F1F M<SIC;VUM96YT/B9Q=6]T.U-I;7!L92!T97-T('!R97-E;G1A=&EO;B!O9B!P M87)T+6]F(')E;&%T:6]N<R9Q=6]T.SPO<F1F<SIC;VUM96YT/CQR9&9S.F-O M;6UE;G0^)G%U;W0[06X@3VYT;VQO9WDF<75O=#L\+W)D9G,Z8V]M;65N=#X\ M9&%M;#IV97)S:6]N26YF;SXF<75O=#LQ+C F<75O=#L\+V1A;6PZ=F5R<VEO M;DEN9F\^/"]D86UL.D]N=&]L;V=Y/CQD86UL.D-L87-S(')D9CI)1#TB:'1T M<#HO+WEO=7)54DPO<&%R=',N9&%M;"-.;W0M8V%R+61O;W(B/CQR9&9S.FQA M8F5L/DYO="UC87(M9&]O<CPO<F1F<SIL86)E;#X\<F1F<SIC;VUM96YT/D1O M;W(@=VAI8V@@:7,@;F]T(&$@<&%R="!O9B!C87(\+W)D9G,Z8V]M;65N=#X\ M;VEL960Z8W)E871I;VY$871E/C V.C,U.C T(#(R+C Q+C(P,#(\+V]I;&5D M.F-R96%T:6]N1&%T93X\<F1F<SIS=6)#;&%S<T]F/CQD86UL.E1H:6YG/CPO M9&%M;#I4:&EN9SX\+W)D9G,Z<W5B0VQA<W-/9CX\<F1F<SIS=6)#;&%S<T]F M/CQD86UL.D-L87-S(')D9CIA8F]U=#TB:'1T<#HO+WEO=7)54DPO<&%R=',N M9&%M;"-$;V]R(CX\+V1A;6PZ0VQA<W,^/"]R9&9S.G-U8D-L87-S3V8^/"]D M86UL.D-L87-S/CQD86UL.D-L87-S(')D9CI)1#TB:'1T<#HO+WEO=7)54DPO M<&%R=',N9&%M;"-#87(B/CQR9&9S.FQA8F5L/D-A<CPO<F1F<SIL86)E;#X\ M<F1F<SIC;VUM96YT/D$@0V%R/"]R9&9S.F-O;6UE;G0^/&]I;&5D.F-R96%T M:6]N1&%T93XP-CHS-3HP-" R,BXP,2XR,# R/"]O:6QE9#IC<F5A=&EO;D1A M=&4^/"]D86UL.D-L87-S/CQD86UL.D-L87-S(')D9CI)1#TB:'1T<#HO+WEO M=7)54DPO<&%R=',N9&%M;"-$;V]R(CX\<F1F<SIL86)E;#Y$;V]R/"]R9&9S M.FQA8F5L/CQR9&9S.F-O;6UE;G0^/"]R9&9S.F-O;6UE;G0^/&]I;&5D.F-R M96%T:6]N1&%T93XP-CHS-3HP-" R,BXP,2XR,# R/"]O:6QE9#IC<F5A=&EO M;D1A=&4^/')D9G,Z<W5B0VQA<W-/9CX\9&%M;#I4:&EN9SX\+V1A;6PZ5&AI M;F<^/"]R9&9S.G-U8D-L87-S3V8^/"]D86UL.D-L87-S/CQD86UL.D-L87-S M(')D9CI)1#TB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M;"-#87(M9&]O<B(^ M/')D9G,Z;&%B96P^0V%R+61O;W(\+W)D9G,Z;&%B96P^/')D9G,Z8V]M;65N M=#Y$;V]R('=H:6-H(&ES(&$@<&%R="!O9B!C87(\+W)D9G,Z8V]M;65N=#X\ M;VEL960Z8W)E871I;VY$871E/C V.C,U.C T(#(R+C Q+C(P,#(\+V]I;&5D M.F-R96%T:6]N1&%T93X\9&%M;#IS86UE0VQA<W-!<SX\<F1F<SI#;&%S<SX\ M9&%M;#II;G1E<G-E8W1I;VY/9CX\9&%M;#I,:7-T/CQD86UL.F9I<G-T/CQD M86UL.D-L87-S(')D9CIA8F]U=#TB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M M;"-$;V]R(CX\+V1A;6PZ0VQA<W,^/"]D86UL.F9I<G-T/CQD86UL.G)E<W0^ M/&1A;6PZ3&ES=#X\9&%M;#IF:7)S=#X\9&%M;#I297-T<FEC=&EO;CX\9&%M M;#IO;E!R;W!E<G1Y(')D9CIR97-O=7)C93TB:'1T<#HO+WEO=7)54DPO<&%R M=',N9&%M;"-P87)T+6]F(CX\+V1A;6PZ;VY0<F]P97)T>3X\9&%M;#IH87-# M;&%S<SX\9&%M;#I#;&%S<R!R9&8Z86)O=70](FAT=' Z+R]Y;W5R55),+W!A M<G1S+F1A;6PC0V%R(CX\+V1A;6PZ0VQA<W,^/"]D86UL.FAA<T-L87-S/CPO M9&%M;#I297-T<FEC=&EO;CX\+V1A;6PZ9FER<W0^/&1A;6PZ<F5S=#X\9&%M M;#IN:6P^/"]D86UL.FYI;#X\+V1A;6PZ<F5S=#X\+V1A;6PZ3&ES=#X\+V1A M;6PZ<F5S=#X\+V1A;6PZ3&ES=#X\+V1A;6PZ:6YT97)S96-T:6]N3V8^/"]R M9&9S.D-L87-S/CPO9&%M;#IS86UE0VQA<W-!<SX\+V1A;6PZ0VQA<W,^/&1A M;6PZ0VQA<W,@<F1F.DE$/2)H='1P.B\O>6]U<E523"]P87)T<RYD86UL(U!A M<G0M;V8M0V%R(CX\<F1F<SIL86)E;#Y087)T+6]F+4-A<CPO<F1F<SIL86)E M;#X\<F1F<SIC;VUM96YT/D%N>2!O8FIE8W0@=VAI8V@@:7,@82!P87)T(&]F M($-A<CPO<F1F<SIC;VUM96YT/CQO:6QE9#IC<F5A=&EO;D1A=&4^,#8Z-#0Z M,SD@,C(N,#$N,C P,CPO;VEL960Z8W)E871I;VY$871E/CQD86UL.G-A;65# M;&%S<T%S/CQR9&9S.D-L87-S/CQD86UL.FEN=&5R<V5C=&EO;D]F/CQD86UL M.DQI<W0^/&1A;6PZ9FER<W0^/&1A;6PZ5&AI;F<^/"]D86UL.E1H:6YG/CPO M9&%M;#IF:7)S=#X\9&%M;#IR97-T/CQD86UL.DQI<W0^/&1A;6PZ9FER<W0^ M/&1A;6PZ4F5S=')I8W1I;VX^/&1A;6PZ;VY0<F]P97)T>2!R9&8Z<F5S;W5R M8V4](FAT=' Z+R]Y;W5R55),+W!A<G1S+F1A;6PC<&%R="UO9B(^/"]D86UL M.F]N4')O<&5R='D^/&1A;6PZ:&%S0VQA<W,^/&1A;6PZ0VQA<W,@<F1F.F%B M;W5T/2)H='1P.B\O>6]U<E523"]P87)T<RYD86UL(T-A<B(^/"]D86UL.D-L M87-S/CPO9&%M;#IH87-#;&%S<SX\+V1A;6PZ4F5S=')I8W1I;VX^/"]D86UL M.F9I<G-T/CQD86UL.G)E<W0^/&1A;6PZ;FEL/CPO9&%M;#IN:6P^/"]D86UL M.G)E<W0^/"]D86UL.DQI<W0^/"]D86UL.G)E<W0^/"]D86UL.DQI<W0^/"]D M86UL.FEN=&5R<V5C=&EO;D]F/CPO<F1F<SI#;&%S<SX\+V1A;6PZ<V%M94-L M87-S07,^/"]D86UL.D-L87-S/CQD86UL.D]B:F5C=%!R;W!E<G1Y(')D9CI) M1#TB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M;"-P87)T+6]F(CX\<F1F<SIL M86)E;#YP87)T+6]F/"]R9&9S.FQA8F5L/CQR9&9S.F-O;6UE;G0^/"]R9&9S M.F-O;6UE;G0^/"]D86UL.D]B:F5C=%!R;W!E<G1Y/CQD86UL.E1R86YS:71I M=F50<F]P97)T>2!R9&8Z86)O=70](FAT=' Z+R]Y;W5R55),+W!A<G1S+F1A M;6PC<&%R="UO9B(^/"]D86UL.E1R86YS:71I=F50<F]P97)T>3X\+W)D9CI2 #1$8^ ` end begin 666 door-e2.daml M/#]X;6P@=F5R<VEO;CTB,2XP(B _/@T*/"$M+2!G96YE<F%T960@8GD@3VEL M160@*&AT=' Z+R]I;6<N8W,N;6%N+F%C+G5K+V]I;"D@+2T^#0H\(2TM(%1U M92!*86X@,C(@,#DZ-3@Z,S<@0T54(#(P,#(@+2T^#0H\<F1F.E)$1B!X;6QN M<STB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M;",B('AM;&YS.F1A;6P](FAT M=' Z+R]W=W<N9&%M;"YO<F<O,C P,2\P,R]D86UL*V]I;",B('AM;&YS.F]I M;&5D/2)H='1P.B\O:6UG+F-S+FUA;BYA8RYU:R]O:6PO;VEL960C(B!X;6QN M<SIR9&8](FAT=' Z+R]W=W<N=S,N;W)G+S$Y.3DO,#(O,C(M<F1F+7-Y;G1A M>"UN<R,B('AM;&YS.G)D9G,](FAT=' Z+R]W=W<N=S,N;W)G+S(P,# O,#$O M<F1F+7-C:&5M82,B/CQD86UL.D]N=&]L;V=Y(')D9CIA8F]U=#TB(CX\<F1F M<SIC;VUM96YT/B9Q=6]T.U-I;7!L92!T97-T('!R97-E;G1A=&EO;B!O9B!P M87)T+6]F(')E;&%T:6]N<R9Q=6]T.SPO<F1F<SIC;VUM96YT/CQR9&9S.F-O M;6UE;G0^)G%U;W0[06X@3VYT;VQO9WDF<75O=#L\+W)D9G,Z8V]M;65N=#X\ M9&%M;#IV97)S:6]N26YF;SXF<75O=#LQ+C F<75O=#L\+V1A;6PZ=F5R<VEO M;DEN9F\^/"]D86UL.D]N=&]L;V=Y/CQD86UL.D-L87-S(')D9CI)1#TB:'1T M<#HO+WEO=7)54DPO<&%R=',N9&%M;"-.;W0M8V%R+61O;W(B/CQR9&9S.FQA M8F5L/DYO="UC87(M9&]O<CPO<F1F<SIL86)E;#X\<F1F<SIC;VUM96YT/D1O M;W(@=VAI8V@@:7,@;F]T(&$@<&%R="!O9B!C87(\+W)D9G,Z8V]M;65N=#X\ M;VEL960Z8W)E871I;VY$871E/C V.C,U.C T(#(R+C Q+C(P,#(\+V]I;&5D M.F-R96%T:6]N1&%T93X\<F1F<SIS=6)#;&%S<T]F/CQD86UL.E1H:6YG/CPO M9&%M;#I4:&EN9SX\+W)D9G,Z<W5B0VQA<W-/9CX\<F1F<SIS=6)#;&%S<T]F M/CQD86UL.D-L87-S(')D9CIA8F]U=#TB:'1T<#HO+WEO=7)54DPO<&%R=',N M9&%M;"-$;V]R(CX\+V1A;6PZ0VQA<W,^/"]R9&9S.G-U8D-L87-S3V8^/"]D M86UL.D-L87-S/CQD86UL.D-L87-S(')D9CI)1#TB:'1T<#HO+WEO=7)54DPO M<&%R=',N9&%M;"-#87(B/CQR9&9S.FQA8F5L/D-A<CPO<F1F<SIL86)E;#X\ M<F1F<SIC;VUM96YT/D$@0V%R/"]R9&9S.F-O;6UE;G0^/&]I;&5D.F-R96%T M:6]N1&%T93XP-CHS-3HP-" R,BXP,2XR,# R/"]O:6QE9#IC<F5A=&EO;D1A M=&4^/"]D86UL.D-L87-S/CQD86UL.D-L87-S(')D9CI)1#TB:'1T<#HO+WEO M=7)54DPO<&%R=',N9&%M;"-$;V]R(CX\<F1F<SIL86)E;#Y$;V]R/"]R9&9S M.FQA8F5L/CQR9&9S.F-O;6UE;G0^/"]R9&9S.F-O;6UE;G0^/&]I;&5D.F-R M96%T:6]N1&%T93XP-CHS-3HP-" R,BXP,2XR,# R/"]O:6QE9#IC<F5A=&EO M;D1A=&4^/')D9G,Z<W5B0VQA<W-/9CX\9&%M;#I4:&EN9SX\+V1A;6PZ5&AI M;F<^/"]R9&9S.G-U8D-L87-S3V8^/"]D86UL.D-L87-S/CQD86UL.D-L87-S M(')D9CI)1#TB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M;"-#87(M9&]O<B(^ M/')D9G,Z;&%B96P^0V%R+61O;W(\+W)D9G,Z;&%B96P^/')D9G,Z8V]M;65N M=#Y$;V]R('=H:6-H(&ES(&$@<&%R="!O9B!C87(\+W)D9G,Z8V]M;65N=#X\ M;VEL960Z8W)E871I;VY$871E/C V.C,U.C T(#(R+C Q+C(P,#(\+V]I;&5D M.F-R96%T:6]N1&%T93X\9&%M;#IS86UE0VQA<W-!<SX\<F1F<SI#;&%S<SX\ M9&%M;#II;G1E<G-E8W1I;VY/9CX\9&%M;#I,:7-T/CQD86UL.F9I<G-T/CQD M86UL.D-L87-S(')D9CIA8F]U=#TB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M M;"-$;V]R(CX\+V1A;6PZ0VQA<W,^/"]D86UL.F9I<G-T/CQD86UL.G)E<W0^ M/&1A;6PZ3&ES=#X\9&%M;#IF:7)S=#X\9&%M;#I297-T<FEC=&EO;CX\9&%M M;#IO;E!R;W!E<G1Y(')D9CIR97-O=7)C93TB:'1T<#HO+WEO=7)54DPO<&%R M=',N9&%M;"-P87)T+6]F(CX\+V1A;6PZ;VY0<F]P97)T>3X\9&%M;#IH87-# M;&%S<SX\9&%M;#I#;&%S<R!R9&8Z86)O=70](FAT=' Z+R]Y;W5R55),+W!A M<G1S+F1A;6PC0V%R(CX\+V1A;6PZ0VQA<W,^/"]D86UL.FAA<T-L87-S/CPO M9&%M;#I297-T<FEC=&EO;CX\+V1A;6PZ9FER<W0^/&1A;6PZ<F5S=#X\9&%M M;#IN:6P^/"]D86UL.FYI;#X\+V1A;6PZ<F5S=#X\+V1A;6PZ3&ES=#X\+V1A M;6PZ<F5S=#X\+V1A;6PZ3&ES=#X\+V1A;6PZ:6YT97)S96-T:6]N3V8^/"]R M9&9S.D-L87-S/CPO9&%M;#IS86UE0VQA<W-!<SX\+V1A;6PZ0VQA<W,^/&1A M;6PZ0VQA<W,@<F1F.DE$/2)H='1P.B\O>6]U<E523"]P87)T<RYD86UL(U!A M<G0M;V8M0V%R(CX\<F1F<SIL86)E;#Y087)T+6]F+4-A<CPO<F1F<SIL86)E M;#X\<F1F<SIC;VUM96YT/D%N>2!O8FIE8W0@=VAI8V@@:7,@82!P87)T(&]F M($-A<CPO<F1F<SIC;VUM96YT/CQO:6QE9#IC<F5A=&EO;D1A=&4^,#8Z-#0Z M,SD@,C(N,#$N,C P,CPO;VEL960Z8W)E871I;VY$871E/CQD86UL.G-A;65# M;&%S<T%S/CQR9&9S.D-L87-S/CQD86UL.FEN=&5R<V5C=&EO;D]F/CQD86UL M.DQI<W0^/&1A;6PZ9FER<W0^/&1A;6PZ5&AI;F<^/"]D86UL.E1H:6YG/CPO M9&%M;#IF:7)S=#X\9&%M;#IR97-T/CQD86UL.DQI<W0^/&1A;6PZ9FER<W0^ M/&1A;6PZ4F5S=')I8W1I;VX^/&1A;6PZ;VY0<F]P97)T>2!R9&8Z<F5S;W5R M8V4](FAT=' Z+R]Y;W5R55),+W!A<G1S+F1A;6PC<&%R="UO9B(^/"]D86UL M.F]N4')O<&5R='D^/&1A;6PZ:&%S0VQA<W,^/&1A;6PZ0VQA<W,@<F1F.F%B M;W5T/2)H='1P.B\O>6]U<E523"]P87)T<RYD86UL(T-A<B(^/"]D86UL.D-L M87-S/CPO9&%M;#IH87-#;&%S<SX\+V1A;6PZ4F5S=')I8W1I;VX^/"]D86UL M.F9I<G-T/CQD86UL.G)E<W0^/&1A;6PZ;FEL/CPO9&%M;#IN:6P^/"]D86UL M.G)E<W0^/"]D86UL.DQI<W0^/"]D86UL.G)E<W0^/"]D86UL.DQI<W0^/"]D M86UL.FEN=&5R<V5C=&EO;D]F/CPO<F1F<SI#;&%S<SX\+V1A;6PZ<V%M94-L M87-S07,^/"]D86UL.D-L87-S/CQD86UL.D]B:F5C=%!R;W!E<G1Y(')D9CI) M1#TB:'1T<#HO+WEO=7)54DPO<&%R=',N9&%M;"-P87)T+6]F(CX\<F1F<SIL M86)E;#YP87)T+6]F/"]R9&9S.FQA8F5L/CQR9&9S.F-O;6UE;G0^/"]R9&9S M.F-O;6UE;G0^/"]D86UL.D]B:F5C=%!R;W!E<G1Y/CQD86UL.E1R86YS:71I M=F50<F]P97)T>2!R9&8Z86)O=70](FAT=' Z+R]Y;W5R55),+W!A<G1S+F1A M;6PC<&%R="UO9B(^/"]D86UL.E1R86YS:71I=F50<F]P97)T>3X\9&%M;#I# M;&%S<R!R9&8Z86)O=70](FAT=' Z+R]Y;W5R55),+W!A<G1S+F1A;6PC0V%R M+61O;W(B/CQD86UL.F1I<VIO:6YT5VET:#X\9&%M;#I#;&%S<R!R9&8Z86)O M=70](FAT=' Z+R]Y;W5R55),+W!A<G1S+F1A;6PC4&%R="UO9BU#87(B/CPO M9&%M;#I#;&%S<SX\+V1A;6PZ9&ES:F]I;G17:71H/CPO9&%M;#I#;&%S<SX\ )+W)D9CI21$8^ ` end
Received on Tuesday, 22 January 2002 16:04:28 UTC