Šio magistrinio darbo tikslai yra: Išanalizuoti esančias ontologijas; Išnagrinėti ontologijų kūrimo principus bei taisykles; Aprašyti ontologijos kūrimo metodologiją; Panaudoti metodologiją praktiškai kuriant vaistų ontologiją, pasirinkus kūrimo įrankį; Atlikti esamų ontologijų tikrinimo priemonių analizę; Atrinkti tinkamiausią tikrinimo priemonę ontologijos teisingumo užtikrinimui. / Existing Ontologies analyse, creation of the Ontologies concepts and rools, creation methodology and it's usage with Protege tool. Ontologies reasoners comparison and finding the best reasoner.

OntoClean – tai metodika, skirta ontologijų korektiškumo vertinimui atlikti. Tačiau, dėl šios metodikos sudėtingumo, ja gali naudotis tik maža žmonių grupė. Šio darbo tikslas yra ištirti, kaip galima būtų supaprastinti šios metodikos taikymą. Tam, kad pasiekti šį tikslą buvo padaryta metodikos analizė, o taip pat buvo apžvelgta, kaip galima atlikti ontologijų vertinimą įvairių įrankių pagalba. Buvo nustatyta, kad didžioji darbo, susijusio su vertinimu, dalis – savybių priskyrimas klasėms – daroma rankiniu būdu. Šiai problemai spręsti buvo pasiūlytas algoritmas, pilnai arba dalinai automatizuojantis OntoClean metodiką. Pagrindinė algoritmo idėja – meta-savybių įrodymų paieška internete panaudojant paieškos frazių šablonus, kurie išreiškia teigiamą arba neigiamą meta-savybės įrodymą. / OntoClean is a methodology for assessing corectness of ontology. However, because of the difficultness of the methodology, only a small group of people can use it. The goal of this work is to find out how to facilitate usage of OntoClean. To reach the goal an anglysis of OntoClean was made, as well as a survey of tools, that support usage of OntoClean. A conclusion was that a major task of ontology assessment – assignment of mata-properties to classes – was done manually. To solve this problem, an algorithm that fully or partially automates this process, was introduced. The main idea of this approach is searching for meta-property evidences in the Internet by using templates of a search phrase, that express positive or negative evidence of meta-property.

Pastaruoju metu žiniomis grindžiamų informacinių sistemų kūrimui pradėtos naudoti ontologijos, tinkamos dalykinės srities žinioms vaizduoti ir sistemų mo-deliams kurti bei jiems įgyvendinti. Tačiau verslo taisyklių modeliavimas onto-logija grindžiamose informacinėse sistemose nėra pakankamai išnagrinėtas ir aiškiai aprašytas. Disertacijoje autorė siūlo metodą ontologijos aksiomoms trans-formuoti į verslo taisykles, kurios naudojamos tam tikriems dalykinės srities as-pektams apriboti arba nukreipti. Siūlomo metodo esmė – dalykinės srities aksio-mos, išreikštos pasirinkta kalba, transformuojamos į verslo taisykles, kurios įgyvendinamos informacinės sistemos programų vykdomosiomis taisyklėmis. Formaliam metodo aprašymui sukurti disertacijoje vartojama Z kalba, o MDA karkasas taikomas siūlomam metodui automatizuoti. Disertaciją sudaro įvadas, keturi skyriai ir išvados, naudotos literatūros ir au-toriaus publikacijų disertacijos tema sąrašai ir trys priedai. Įvadiniame skyriuje nagrinėjamas problemos aktualumas, formuluojamas darbo tikslas bei uždaviniai, aprašomas mokslinis darbo naujumas, pristatomi autorės pranešimai ir publikacijos, disertacijos struktūra. Pirmasis ir antrasis sky-riai skirti literatūros apžvalgai. Pirmajame skyriuje pateikta verslo taisyklės są-vokos analizė, nagrinėjami verslo taisyklių įgyvendinimo metodai ir kalbos. Ant-rajame skyriuje apžvelgiama ontologijos sąvoka, jos panaudojimo galimybės informacinėms sistemoms kurti. Pagrindinis dėmesys skiriamas... [toliau žr. visą tekstą] / Ontologies in nowadays are widely used in the process of development of modern information systems, since they are suitable to represent domain knowl-edge. However, the development of domain rules in ontology-based information systems is required to be analysed. In this dissertation, the author proposes a formal method of transforming ontology axioms to domain rules, making an im-portant and integral part of each domain and used to constrain or direct different aspects of a domain. Such rules can be consecutively transformed into executable form and implemented in a software system of an information system. The pro-posed method is formalised using the Z notation and the MDA framework is ap-plied to automate it. The dissertation consists of the introduction, four chapters, the conclusions, references, list of author’s publications and three annexes. The introduction overviews the main problem analysed in the dissertation and its importance. The aim and consequent objectives, scientific novelty and practical value of the research, methodology of the research, hypothesis of the research, scientific approval, contribution of the results and structure of the dis-sertation are formulated and presented in this chapter. The first and the second chapters cover analysis of existing publications re-lated with the problem of the dissertation. Therefore, the concept of the domain rule and the main problems of their modelling and implementing are analysed in the first chapter. The second... [to full text]

Ontologijos tampa vis populiaresnės, nes leidžia organizacijoms lanksčiau aprašyti dalykinę sritį, ieškoti informacijos iš skirtingų šaltinių ir pateikti semantiškai tiksliau atrinktus rezultatus vartotojams. Tačiau, augant informacijos ontologijoje kiekiui, saugoti ją tekstiniame faile tampa neefektyvu. Šio tyrimo tikslas yra pagerinti užklausų vykdymo ontologijoje galimybes, kai jos saugojamos reliacinėje duomenų bazėje. Tam buvo sukurtas SPARQL užklausų vykdymo metodas ontologijoje, saugojamoje reliacinėje duomenų bazėje pagal OWL2RDB algoritmą. Eksperimentas patvirtino, kad esant dideliam individų skaičiui, metodas leidžia greičiau vykdyti užklausas reliacinėje duomenų bazėje saugojamoje ontologijoje, negu ontologijoje, saugojamoje tekstiniame faile. / Ontologies are becoming increasingly popular because they allow organizations to describe their problem domains in a more flexible manner and to search information from multiple sources giving semantically significant results for users. However, the increasing amount of information in ontology makes its storing in a text file not effective. The aim of this research is to improve possibilities of querying large ontologies when these are kept in relational databases. The method was created for executing SPARQL queries in ontology, stored in a relational database created by OWL2RDB algorithm. Experiments have shown that the method improves query performance time in comparison with existing query engine especially for large ontologies having many individuals.

<p>Predmet istraživanja predstavlja problem jedinstva Aristotelove prve filozofije. Pojmovnost koju Aristotel izgrađuje unutar istraživanja koja su naknadno objedinjena pod imenom Metafizika, određujuća je celokopan potonji razvoj filozofije. U pogledu na datu određenost razvoja povesti filozofije Aristotelovom Metafizikom, suočavanje sa onim &scaron;to je sam Aristotel rekao, kao i sa čitavom tradicijom tumačenja Metafizike, pokazuje se kao problem od su&scaron;tinskog značaja za samorefleksiju pripadnu filozofiji.<br />Početnu tačku istraživanja čini pitanje same mogućnosti razumevanja Aristotelove prve filozofije. U svrhu odgovora na dato pitanje istraživanje polazi od prostora vladajućih interpretacija jedinstva prve filozofije. Unutar datog interpretativnog prostora Aristotelova Metafizika pojavljuje se kao određena protivrečno&scaron;ću svoja dva određenja, pretpostavljena vladajućim interpretacijama: reč je, naime, o protivrečnosti ontolo&scaron;kog (metaphysica generalis) i teolo&scaron;kog (metaphysica specialis) smisla Metafizike. Razvijajući imanentnu kritiku vladajućih interpretacija, tačnije interpretativnog onto-teolo&scaron;kog okvira, istraživanje dolazi do izgradnje vlastitog razumevanja prve filozifije kao dijalektičke arheologije. Dato razumevanje omogućava ne samo to da se Aristotelovoj misli ne nameće novovekovni konktest i smisao razlike ontologija-teologija, već i da se ona zahvati u svom povesno-filozofskom konktestu, odnosno u vezi sa predsokratovskom fizikom i dijalektikom poznog Platona.<br />U svrhu potvrde karaktera Aristotelove prve filozofije kao dijalektičke arheologije, istraživanje nastoji da se izbori za prikaz samog metoda Aristotelove prve filozofije. Smatramo ovo značajnim usled toga &scaron;to Aristotel nigde nije neposredno reflektovao na način vlastitog postupanja u Metafizici i &scaron;to se tek u pogledu na razumevanje načina mi&scaron;ljenja ovde preduzetih Aristotelovih istraživanja možemo izboriti za smisao njihovog jedinstva. Nakon rekonstrukcije Aristotelove endoksičko-dijalektičke i aporetičko-dijalektičke metode, istraživanje nastoji da smisao prve filozofije kao dijalektičke arheologije potvrdi kroz iscrpnu analizu &Lambda; knjige Metafizike, kao jedinog mesta u pogledu na koje se može zadobiti smisao jedinstva prve filozofije.<br />U krajnjem, istraživanje pokazuje da se utvrđivanjem dijalektičko-arheolo&scaron;kog karaktera Aristotelove prve filozofije omogućava zahvatanje jedinstva prve filozofije, koje je onemogućeno vladajućim onto-teolo&scaron;kim horizontom razumevanja Metafizike.</p>

<p>Doktorska disertacija se bavi istraživanjima koja imaju za cilj da unaprede<br />obrazovanje nastavničkog kadra iz oblasti informatike. Predmet istraživanja disertacije je<br />razvoj platforme koja će olak&scaron;ati sinhronizaciju razvoja nastavničkog kurikuluma iz<br />informatičke oblasti sa aktuelnim srednjo&scaron;kolskim informatičkim standardima i<br />savremenim kurikulumima za nastavnike informatike. Prvi pravac istraživanja je<br />identifikovanje stanja u oblasti obrazovanja nastavnika informatike (modaliteti<br />obrazovanja nastavnika i kompetencije koje se tim modalitetima stiču). U disertaciji se<br />stanje identifikuje na osnovu analize savremene literature, aktuelnih standarda,<br />reprezentativnih kurikuluma i preliminarnog istraživanja nad populacijom sada&scaron;njih<br />nastavnika informatike na teritoriji Vojvodine. Drugi pravac istraživanja je<br />obezbeđivanje (tehničke) pretpostavke za objektivnije i efikasnije kreiranje,<br />upoređivanje i razmenu kurikuluma. Taj pravac se odnosi na razvoj ma&scaron;inski čitljive<br />ontologije kurikuluma bazirane na većpostojećim standardima u domenu obrazovanja i<br />softverske podr&scaron;ke za upoređivanje takvih reprezentacija kurikuluma bazirane na<br />tehnologijama Semantičkog Weba.<br />Ciljevi istraživanja u disertaciji su specifikacija ma&scaron;inski čitljivog modela informatičkog<br />kurikuluma za obrazovanje nastavnika informatike, ma&scaron;inski&nbsp; čitljivog modela<br />informatičkog kurikuluma za srednjo&scaron;kolski nivo obrazovanja i razvoj prototipa<br />softverske aplikacije za verifikaciju predloženih modela.</p> / <p>The doctoral thesis deals with researches that aim to improve the education of&nbsp;teaching staff in the field of informatics. The subject of the dissertation research is to&nbsp;develop a platform that will facilitate the synchronization of the development of teaching&nbsp; curricula in the informatics field with the current secondary informatics standards and modern curricula for informatics teachers of informatics. The first research direction is to identify the state in the informatics teacher education (modalities of teacher education and competences acquired through these modalities). In the dissertation, the state is identified from the review of literature, currentstandards, representative curricula and a preliminary research on population of current informatics teachers in Vojvodina. Another research direction is to provide (technical) prerequisites for more objective and more efficient creation, comparison and exchange of curricula. That direction is related to the development of a machine-readable ontological representation of a curriculum based on existing standards in the field of education and to developing software support for comparing such representations of curricula based on the Semantic Web technologies.<br />The goals of the research in the dissertation are to specify a machine readable model of the informatics teacher education curriculum, a machine-readable model of the informatics curriculum for secondary level education and the development of a software application prototype in order to verify the proposed models.</p>

Šiame darbe apibrėžiamos socialinio tinklo realizavimo galimybės internetinėje aplinkoje semantinio tinklalapio pagrindu. Aprašytos pagrindinės internetinio socialinio tinklo kūrimo technologijos, tokio sistemų tipų funkcionalumas, pasiūlytas sistemos ontologijos modelio išskaidymo į mažesnius modelius metodas, suprojektuotas ir sukurtas eksperimentinis namų bendrijos socialinis tinklas semantinio žiniatinklio pagrindu su išskaidytu sistemos ontologijos modeliu. / In this work are described the opportunities of realization of social network in the internet environment on a semantic web basis. In this work are described main technologies which we can use creating internet social network, functionality of this type of systems, offered system ontology model resolution into lesser models method, projected and created the experimental social network for house communities on a semantic web basis with resolved system ontology model.

Semantika informacinių technologijų kontekste yra duomenų apdorojimas pagal prasmę ir kontekstą. Tam įgyvendinti yra taikomas natūralios kalbos apdorojimas, pritaikytas informacijos paieškai, išrinkimui, analizavimui.Taikant semantines technologijas, kūrėjams dažnai kyla klausimas, kaip sukurti semantinės paieškos sąsają, kad ji būtų patogi ir duotų kuo tikslesnius atsakymus į vartotojų užklausas. Šiame darbe aprašomas sukurtas metodas, kuris padeda vartotojui palaipsniui formuoti SPARQL užklausą iš atskirų elementų, dinamiškai keičiant vartotojo sąsają. / Increasing popularity of Semantic Web raises a question how we could make a simple user interface for building semantic queries while keeping high precision of results returned. This thesis presents a method that helps users to create SPARQL queries by allowing to dynamically add components to user interface. The goal of the work is to improve of user interface model for semantic queries by allowing users to construct and change it dynamically till obtaining the desirable answer results. That model was created on the base of analysis of Semantic Web languages, tools and existing portals, their functions and user interfaces. Algorithms for dynamic user interface generation based on user actions were developed that allow creating queries of various complexities with minimal amount of user interface components. Implementation and testing the prototype of the system using movie and wine ontologies has shown that dynamic construction and generation of query interface has desirable functionality and is easily applicable to various ontologies. Experimental comparison with existing semantic search portals has shown that the proposed dynamic user interface generation method could improve precision and recall of semantic queries and may be applied in semantic search portal applications.

Vienas iš esminių semantinio tinklo komponentų yra ontologijos. Ontologija yra tam tikros dalykinės srities sąvokų visumos specifikavimas išreikštu pavidalu. Semantiniai interneto portalai naudoja ontologijas kaip žinių bazę. Tačiau ontologijų kūrimas nėra toks paprastas, todėl reikia metodikos, kaip aprašyti dalykinę sritį ontologijų kalba, kad ji būtų realizuojama interneto portale, atitiktų vartotojų poreikius ir ontologijų kokybės kriterijus. Šio magistrinio darbo tikslas yra padidinti semantinių portalų kūrimo galimybes sudarant ir praktiškai išbandant metodiką, pagal kurią portalų kūrėjai galėtų kurti semantinius portalus, panaudodami dalykinės srities ontologiją. Darbe aprašyta ontologija grindžiamo portalo kūrimo metodika, kuri glaudžiai susijusi su dalykinės srities ontologijos sudarymo procesu; panaudotos ontologijos modelio saugojimo reliacinėje duomenų bazėje galimybės, atliktas ontologijos savybių rodiklių skaičiavimas. / Web portals collects the information scattered on the internet and organizes it for easy search and access. Current Web technologies employed to build up these portals present serious limitations regarding information search, access, extraction, interpretation and processing. The Semantic Web provides a common framework that allows data to be shared, reused and processed directly and indirectly by machines. To facilitate this process, OWL have been developed as standard formats for the sharing and integration of data in the form of rich conceptual schemas called ontologies. An ontology defines a common vocabulary for researchers who need to share information in a specific domain. There are several methods for facilitating development of ontologies. Although, neither describes how to build a Semantic Web portals step by step, using the latest Web portals development tools and technologies. The main goal of this work is to propose a development methodology for building Semantic Web portals from the scratch.

Heideggerio ontologinė perspektyva regi Vakarų filosofijos tradiciją kaip metafizinę-ontinę mąstymo paradigmą. Tradicinė filosofija atsiskleidžia kaip mąsčiusi esinio būties prasmę atsietai nuo pačios būties, o būtį svarsčiusi esinio kategorijomis. Toks mąstymas, žvelgiant iš ontologinės perspektyvos, pasirodo kaip objektiškas tikrovės vertinimas pateikiantis prasmę užveriančias definicijas. Siekdamas neuzurpuojančio, autentiško būties mąstymo, Heideggeris susitelkia ties negatyviosios teologijos Dievo mąstymo strategija. Brandžiausias via negativa paradigmos atstovas, Mokytojas Eckhartas, mąsto Dievą atsisakęs visų jo įvaizdžių ir vardų. Ši Abgescheidenheit, Gelassenheit strategija, leidžia Mokytojui Eckhartui patirti Dievą kaip Niekį nepaverčiant jo esiniu. Pasitelkęs tokią mąstymo paradigmą Heideggeris prabyla apie būtį kaip bepagrindiškumą, Abgrund. Tokiu būdu, ontologinis mąstymas nepretenduoja adekvačiai išreikšti, apibrėžti būtį, bet siekia ją išgirsti, patirti. Jis tampa maldingu, būties pasalptį „saugančiu“ mąstymu.Tokia mąstymo paradigma peržengia filosofijos, kaip logikos ribas, ir atveria kelią postmetafizinei filosofijai. / Ontological Heidegger‘s perspective sees the tradition of Western Phylosophy as metaphysical thinking which has an ontic form. As Heidegger maintains traditional philosophy shows itself as a thought which separates the being from its Being and beside this talks about Being with using categories of being (thing). And so fundamental ontology discloses such methaphysical paradigm as objectical evaluation of reality which says nothing about meaning of Being in real. Heidegger himself seeks for the way of thought which would not usurp the Being and the meaning of it. For this reason he turns to the paradigm of via negativa and follows the strategy of Meister Eckhart in which God has been expressed as Nothing. The main words (and the meaning of them) of Meister Eckhart such as Abgescheidenheit and Gelassenheit inspire Heidegger and let him to think of Being as an Absence, Abgrund, Nothing. Such a way of thinking does not try to represent the Being adequately, but rather becomes a paradigm of prayfull thinking were Being shows up as a Mistery. Heidegger‘s ontological thought oversteps Methaphysics and opens the way to postmethaphysical thought.