Istochnik: Wikipedia. Stranitsy: 45. Glavy: Deskriptsionnaya logika, XML, Vsemirnaya pautina, Semanticheskaya set, Berners-Li, Tim, Semanticheskaya viki, Veb 2.0, Metadannye, Upravlenie znaniyami, SPARQL, Biblioteka 2.0, Ontologiya, Mikroformaty, Web Ontology Language, DBpedia, WolframAlpha, Dublinskoe yadro, MQL, GRDDL, Gipertekst, Resource Description Framework, Kollektivnyi intellekt, FOAF, Semanticheskie veb-servisy, Notatsiya 3, Folksonomiya, Turtle, Versa, Tematicheskaya karta, SIOC, Semantic MediaWiki, Informatsionnaya arkhitektura, Web science. Vyderzhka: Deskriptsio nnye lo giki (sokr. DL, angl., inogda ispol zuet.sya netochnyi perevod: deskripti vnye logiki) - semyei stvo yazykov predstavleniya znanii, pozvolyayushchikh opisyvat ponyatiya predmetnoi oblasti v nedvusmyslennom, formalizovannom vide. Oni sochetayut v sebe, s odnoi storony, bogatye vyrazitel nye vozmozhnosti, a s drugoi - khoroshie vychislitel nye svoi stva, takie kak razreshimost i otnositel no nevysokaya vychislitel naya slozhnost osnovnykh logicheskikh problem, chto delaet vozmozhnym ikh primenenie na praktike. Takim obrazom, DL predstavlyayut soboi kompromiss mezhdu vyrazitel nost yu i razreshimost yu. DL mozhno rassmatrivat kak razreshimye fragmenty logiki predikatov, sintaksicheski zhe oni blizki k modal nym logikam. Svoe sovremennoe nazvanie DL poluchili v 1980-kh. Prezhnie nazvaniya (v khronologicheskom poryadke): terminologicheskie sistemy, logiki kontseptov. Iznachal no DL zarodilis kak rasshirenie fryei movykh struktur i semanticheskikh setyei mekhanizmami formal noi logiki. V nastoyashchyee vremya DL yavlyayut.sya vazhnym v kontseptsii Semanticheskoi pautiny, gde ikh predpolagaet.sya ispol zovat pri postroenii ontologii . Fragmenty OWL-DL i OWL-Lite yazyka veb-ontologii OWL takzhe osnovany na DL. Deskriptsionnye logiki operiruyut ponyatiyami kontse pt i rol, sootvet.stvuyushchimi v drugikh razdelakh matematicheskoi logiki ponyatiyam -odnomestnyi predikat- ...