ho kena
Sengoliloeng sena se etselitsoe ba tloaelaneng le mohopolo oa ontology bonyane maemong a mathomo. Haeba u sa tloaelane le ontologies, ho ka etsahala hore ebe sepheo sa ontologia le sengoloa sena haholo-holo se ke ke sa u hlaka. Ke u eletsa hore u tloaelane le ketsahalo ena pele u qala ho bala sehlooho sena (mohlomong esita le sehlooho se tsoang Wikipedia se tla lekana).
Kahoo Ontology - ena ke tlhaloso e qaqileng ea taba e itseng e ntseng e nahanoa. Tlhaloso e joalo e tlameha ho fanoa ka puo e itseng e hlophisitsoeng ka ho hlaka. Ho hlalosa li-ontologies, o ka sebelisa mokhoa oa IDEF5, o nang le lipuo tse 2 pokellong ea ona:
- IDEF5 puo ea moralo. Puo ena ke ea pono 'me e sebelisa likarolo tsa litšoantšo.
- IDEF5 puo ea mongolo. Puo ena e emetswe e le mongolo o hlophisitsoeng.
Sehlooho sena se tla hlahloba khetho ea pele - puo ea schematic. Re tla bua ka mongolo lihloohong tse latelang.
Lintho
Puong ea moralo, joalo ka ha ho se ho boletsoe, ho sebelisoa likarolo tsa litšoantšo. Pele, re lokela ho nahana ka lintlha tsa motheo tsa puo ena.
Hangata, ontology e sebelisa likarolo tse akaretsang le lintho tse ikhethileng. Mekhatlo e akaretsang e bitsoa mefuta. Li hlahisoa e le selikalikoe se nang le letšoao (lebitso la ntho) ka hare:
Mefuta ke pokello ea mehlala e ikemetseng ea mofuta o itseng. Ke hore, pono e kang "Likoloi" e ka emela pokello eohle ea likoloi ka bomong.
E le likopi Mofuta ona e ka ba likoloi tse itseng, kapa mefuta e itseng ea thepa, kapa mefuta e itseng. Tsohle li itšetlehile ka moelelo oa taba, sebaka sa sehlooho le boemo ba eona ba lintlha. Ka mohlala, bakeng sa lebenkele la ho lokisa likoloi, likoloi tse khethehileng e le likarolo tsa 'mele li tla ba tsa bohlokoa. Ho boloka lipalo-palo tse ling tsa thekiso sebakeng sa thekiso ea likoloi, mehlala e khethehileng, joalo-joalo e tla ba ea bohlokoa.
Mefuta e fapaneng ea mefuta e khethiloe ka mokhoa o ts'oanang le mefuta ka boyona, e bonts'oa feela ka letheba tlase ho selikalikoe:
Hape, e le karolo ea puisano ea lintho, ho bohlokoa ho bolela lintho tse kang lits'ebetso.
Haeba maikutlo le maemo a bitsoa lintho tse sa fetoheng (tse sa fetoheng ha nako e ntse e ea), joale lits'ebetso ke lintho tse matla. Sena se bolela hore lintho tsena li teng ka nako e itseng e hlalositsoeng ka thata.
Ka mohlala, re ka khetha ntho e kang mokhoa oa ho etsa koloi (kaha re bua ka bona). Ho hlakile hore ntho ena e teng feela nakong ea tlhahiso ea koloi ena (nako e hlalositsoeng ka thata). Ke habohlokoa ho hopola hore tlhaloso ena e na le maemo, hobane lintho tse kang koloi le tsona li na le bophelo ba tsona ba tšebeletso, sethala sa bophelo, ho ba teng, joalo-joalo. Leha ho le joalo, ha re kenelle filosofing le ka har'a moralo oa likarolo tse ngata tseo re ka li amohelang, 'me ho feta moo, mefuta e teng ka ho sa feleng.
Mekhoa e hlahisoa e le khutlonnetsepa e nang le leibole (lebitso) la ts'ebetso:
Mekhoa e sebelisoa mererong ea phetoho ea ntho e 'ngoe ho ea ho e' ngoe. Sena se tla tšohloa ka botlalo ka tlase.
Ntle le lits'ebetso, merero e joalo e sebelisoa basebetsi ba utloahalang. Ntho e 'ngoe le e 'ngoe mona e bonolo haholo bakeng sa ba tloaelaneng le li-predicates, Boolean algebra kapa lenaneo. IDEF5 e sebelisa li-operators tse tharo tsa motheo tse utloahalang:
- e utloahalang LE (LE);
- e utloahalang KAPA (OR);
- khethehileng OR (XOR).
Tekanyetso ea IDEF5 (http://idef.ru/documents/Idef5.pdf - boholo ba tlhahisoleseling e tsoang mohloling ona) e hlalosa setšoantšo sa basebelisi ba nang le kelello ka mokhoa oa li-circles tse nyane (ha li bapisoa le maikutlo le maemo) tse nang le lengolo ho sebopeho sa matshwao. Leha ho le joalo, tikolohong ea litšoantšo ea IDEF5 eo re e ntlafatsang, re tlohile molaong ona ka mabaka a mangata. E 'ngoe ea tsona ke ho tsebahatsa ho thata ha basebetsi bana. Ka hona, re sebelisa mongolo oa mongolo oa basebelisi ba nang le nomoro ea boitsebahatso:
Mohlomong re tla qetella ka lintho mona.
Likamano
Ho na le likamano lipakeng tsa lintho, tseo ho ontology e bolelang melao e laolang tšebelisano lipakeng tsa lintho le moo ho tsuoang liqeto tse ncha.
Ka tlwaelo, dikamano di laolwa ke mofuta wa schema o sebediswang ho ontology. Scheme ke sehlopha sa dintho tsa ontology le dikamano pakeng tsa tsona. Ho na le mefuta e latelang ea mantlha ea merero:
- Merero ea ho qapa.
- Merero ea lihlopha.
- Litšoantšo tsa phetoho.
- Litšoantšo tse sebetsang.
- Merero e kopaneng.
Hape ka linako tse ling ho na le mofuta oa morero o kang existential. schema e teng ke pokello ea lintho tse se nang likamano. Litšoantšo tse joalo li bontša feela hore sebakeng se itseng sa thuto ho na le sehlopha se itseng sa lintho.
Joale, ka tatellano, ka mofuta o mong le o mong oa morero.
Merero ea ho qapa
Mofuta ona oa setšoantšo o sebelisoa ho emela sebopeho sa ntho, tsamaiso, sebopeho, joalo-joalo. Mohlala o tloaelehileng ke likarolo tsa koloi. Ka sebōpeho sa eona se atolositsoeng ka ho fetisisa, koloi e na le 'mele le phetisetso. Ka lehlakoreng le leng, 'mele o arotsoe ka foreimi, mamati le likarolo tse ling. Ho bola hona ho ka tsoela pele ho feta - tsohle li ipapisitse le boemo bo hlokahalang ba lintlha mosebetsing ona. Mohlala oa morero o joalo:
Likamano tsa sebopeho li hlahisoa e le motsu o nang le hlooho ea motsu qetellong (ho fapana le, mohlala, kamano ea lihlopha, moo hlooho ea motsu e leng qalong ea motsu, lintlha tse ling tse ka tlase). Likamano tse joalo li ka ngoloa ka leibole joalo ka setšoantšong (karolo).
Merero ea lihlopha
Merero ea ho arola e reretsoe ho hlalosa tlhaloso ea mefuta, mefuta-futa ea eona le mehlala ea mefuta. Ka mohlala, likoloi e ka ba likoloi le literaka. Ke hore, pono ea "Koloi" e na le litlhaloso tse peli. VAZ-2110 ke mohlala o khethehileng oa "Passenger Car" subtype, 'me GAZ-3307 ke mohlala oa "Truck" subtype:
Likamano tsa merero ea lihlopha (mofuta o monyenyane kapa mohlala o itseng) li na le sebopeho sa motsu o nang le ntlha qalong 'me, joaloka tabeng ea merero ea ho hlophisa, e ka ba le letšoao le nang le lebitso la kamano.
Merero ea phetoho
Merero ea mofuta ona e hlokahala ho bonts'a mekhoa ea phetoho ea lintho ho tloha sebakeng se seng ho ea ho se seng tlas'a tšusumetso ea ts'ebetso e itseng. Ka mohlala, ka mor'a mokhoa oa ho penta pente e khubelu, koloi e ntšo e fetoha e khubelu:
Kamano ea phetoho e bontšoa ka motsu o nang le hlooho qetellong le selikalikoe bohareng. Joalokaha u ka bona setšoantšong, lits'ebetso li bua ka likamano, eseng lintho.
Ho phaella ho phetoho e tloaelehileng e bontšitsoeng setšoantšong, ho na le phetoho e tiileng. E sebelisoa maemong ao phetoho ea boemo bo itseng e sa totobalang, empa ke habohlokoa hore re e hatise. Ka mohlala, ho kenya seipone se ka morao koloing hase ts'ebetso ea bohlokoa haeba re nahana ka mokhoa oa ho kopanya koloi lefatšeng ka bophara. Leha ho le joalo, maemong a mang ho hlokahala ho arola opereishene ena:
Phetoho e tiileng e tšoailoe ka mokhoa o ts'oanang le phetoho e tloaelehileng, ntle le ferrule e habeli qetellong.
Liphetoho tse tloaelehileng le tse thata li ka boela tsa tšoauoa hang-hang. Ho etsa sena, kgutlotharo e ekeletsoa selikalikoe bohareng. Liphetoho tsa hang-hang li sebelisoa maemong ao nako ea phetoho e leng khutšoanyane hoo e seng ea bohlokoa ka ho feletseng ka har'a sebaka seo ho buuoang ka sona (ka tlase ho nako e fokolang ea bohlokoa).
Ka mohlala, haeba ho na le esita le tšenyo e nyenyane ea koloi, e ka nkoa e senyehile 'me theko ea eona e theoha haholo. Leha ho le joalo, tšenyo e ngata e etsahala hang-hang, ho fapana le botsofali le ho apara:
Mohlala o bonts'a phetoho e thata, empa hape o ka sebelisa phetoho e tloaelehileng joalo ka phetoho ea hang-hang.
Litšoantšo tse sebetsang
Litšoantšo tse joalo li sebelisoa ho bontša sebopeho sa tšebelisano pakeng tsa lintho. Mohlala, mochini oa likoloi o lokisa koloi, 'me molaoli oa litšebeletso tsa koloi o amohela likopo tsa litokiso ebe o li fetisetsa ho makheniki a koloi:
Likamano tsa ts'ebetso li hlahisoa e le mola o otlolohileng ntle le ntlha, empa ka linako tse ling ka leibole, e leng lebitso la kamano.
Merero e kopaneng
Merero e kopaneng ke motsoako oa merero eo ho buisanoeng ka eona pele. Boholo ba merero ea mokhoa oa IDEF5 e kopantsoe, kaha li-ontologies tse sebelisang mofuta o le mong feela oa morero ha li fumanehe.
Hangata liqapi tsohle li sebelisa li-operators tse utloahalang. Ka ho li sebelisa, hoa khoneha ho phethahatsa likamano pakeng tsa lintho tse tharo, tse 'nè kapa ho feta. Motho ea nang le kelello a ka hlalosa mokhatlo o itseng o akaretsang oo tšebetso e etsoang ho oona kapa o kenyang letsoho likamanong tse ling. Ka mohlala, o ka kopanya mehlala e fetileng ho e le 'ngoe ka tsela e latelang:
Boemong bo itseng, morero o kopantsoeng o sebelisa moralo oa sebopeho (seipone + koloi e se nang seipone = koloi e nang le seipone) le morero oa phetoho (koloi e nang le seipone e fetoha koloi e khubelu tlas'a tšusumetso ea ts'ebetso ea pente e khubelu). Ho feta moo, koloi e nang le seipone ha e hlalosoe ka ho hlaka - ho e-na le hoo, ho bontšoa mokhanni ea utloahalang AND.
fihlela qeto e
Sehloohong sena, ke lekile ho hlalosa lintho tse ka sehloohong le likamano ka mokhoa oa IDEF5. Ke sebelisitse sebaka sa koloi e le mohlala hobane ho bile bonolo haholo ho aha litšoantšo ka mohlala oa bona. Leha ho le joalo, meralo ea IDEF5 e ka sebelisoa lefapheng lefe kapa lefe la tsebo.
Li-ontology le tlhahlobo ea tsebo ea domain name ke taba e batsi ebile e nka nako. Leha ho le joalo, ka har'a moralo oa IDEF5, ntho e 'ngoe le e' ngoe e bonahala e se thata hakaalo; bonyane, metheo ea sehlooho sena e ithutoa habonolo. Sepheo sa sengoloa sa ka ke ho hohela bamameli ba bacha bothateng ba tlhahlobo ea tsebo, leha ho le joalo ka sesebelisoa sa khale sa IDEF5 joalo ka puo ea litšoantšo.
Bothata ba puo ea litšoantšo ke hore ka thuso ea eona ho ke ke ha khoneha ho theha likamano tse ling (axioms) tsa ontology ka ho hlaka. Ho na le puo ea mongolo IDEF5 bakeng sa sena. Leha ho le joalo, mohatong oa pele, puo e nang le kerafo e ka ba molemo haholo bakeng sa ho theha litlhoko tsa pele tsa thuto ea thuto ea bophelo le ho hlalosa vector bakeng sa ho qapa thuto ea thuto-thuto ka puo ea mongolo ea IDEF5 kapa sesebelisoa leha e le sefe se seng.
Ke tšepa hore sehlooho sena se tla ba molemo ho ba qalang tšimong ena, mohlomong le ho ba 'nileng ba sebetsana le taba ea tlhahlobo ea ontological ka nako e telele. Litaba tsohle tse ka sehloohong sengolong sena li fetoletsoe le ho hlalosoa ho tsoa maemong a IDEF5, ao ke buileng ka ona pejana (). Ke boetse ke bululetsoe ke buka e ntle e tsoang ho bangoli ba NOU INTUIT ().
Source: www.habr.com