Ten serwis zostanie wyłączony 2025-02-11.
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2007 | Vol. 48, nr 9 | 80-84
Tytuł artykułu

Problemy wnioskowania z ontologii Semantic Web

Autorzy
Warianty tytułu
EN
Inference problems for Semantic Web Ontologies
Języki publikacji
PL
Abstrakty
PL
Idea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku np. OWL-DL, promowanym i standaryzowanym przez konsorcjum W3C. Jest to język oparty na formalizmie logicznym zwanym logiką opisową. Po krótkim i nieformalnym wprowadzeniu w logikę opisową zaprezentowano podstawowe problemy wnioskowania z ontologii opartych na logice opisowej. Następnie pokazano nową metodę rozwiązywania tych problemów, opracowaną w Katedrze Inżynierii Oprogramowania WETI PG na potrzeby projektu realizowanego w ramach 6. PR Unii Europejskiej. Metoda ta sprowadza podstawowe i niektóre zaawansowane problemy wnioskowania do operacji na ciągach bitów, co znakomicie upraszcza algorytmy wnioskowania i polepsza ich praktyczną efektywność.
EN
The Semantic Web idea consists, among others, in creating ontologies and making them available for sharing by Internet communities. In order to fulfill this idea, ontologies must be formulated in one, commonly accepted language. In Semantic Web, OWL-DL appears to be such a language, promoted and standardized by World Wide Web Consortium. OWL-DL is based on a decidable fragment of First-Order Logic called Description Logic (DL). In the paper we make a brief introduction to DL formalism, followed by definition of basic inference problems for DL ontologies. Next, a novel inference method called Knowledge Cartography is presented. The method has been developed in the Department of Software Engineering of Gdańsk University of Technology within PIPS - a 6th European Union Framework Programme. The method reduces basic and some advanced DL inference problems to operations on bit strings, which simplifies implementation of inference algorithms and considerably improves efficiency of the inference engine.
Wydawca

Rocznik
Strony
80-84
Opis fizyczny
Bibliogr. 20 poz., tab., wykr.
Twórcy
autor
  • Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Bibliografia
  • [1] Baader F.A. i in.: The Description Logic Handbook: Theory, implementation, and applications. Cambridge University Press, 2003.
  • [2] Bechhofer S., Horrocks I., Turi D.: Implementing the Instance Store. CEUR, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-115.
  • [3] Berners-Lee T., Hendler J., Lassila O.: The Semantic Web. Scientific American, 2001.
  • [4] DIG Description Logic Interface, http://dl.kr.org/dig/interface.html
  • [5] FaCT++, http://owl.man.ac.uk/factplusplus/
  • [6] Goczyła K. i in.: The Cartographer Algorithm for Processing and Querying Description Logics Ontologies. Lecture Notes in Artifical Intelligence, Advances In Web Intelligence, 2005, pp. 163-169.
  • [7] Goczyła K. i in.: The Knowledge Cartography - A new approach to reasoning over Description Logics ontologies. Proc. SOFSEM 2006, pp. 293-302.
  • [8] Gruber, R.: A translation approach to portable ontology specification. Knowledge Acquisition, no 5, 1993, pp. 199-220.
  • [9] Haarslev V., Möller R.: RacerPro Reference Manual. August 12, 2005, http://www.racer-systems.com/products/racerpro/reference-manual-1-9.pdf
  • [10] Jena Toolkit: A Semantic Web Framework for Java. http://jena.sourceforge.net/
  • [11] KAON2 - Ontology Management for the Semantic Web. http://kaon2.semanticweb.org/
  • [12] Minsky M.: A Framework for Representing Knowledge. The Psychology of Computer Vision. McGraw-Hill, New York, 1975, pp. 211-277.
  • [13] OWL-Web Ontology Language Guide. W3C, http://www.w3.org/TR/owl-guide, 2004.
  • [14] OWL 1.1. Web Ontology Language, http://www.webont.org/owl1.1/
  • [15] Pellet: An Open Source OWL-DL Reasoner in Java. http://pellet.owldl.com/
  • [16] Quillian M.R. Word concepts: A theory and simulation of some basic semantic capabilities. Behavioral Science vol. 12, 1967, pp. 410-430.
  • [17] Resource Description Framework. W3C, http://www.w3.org/RDF
  • [18] Semantic Web Initiatives, http://www.semantic-web.org
  • [19] Staab S., Struder R.: Handbook on Ontologies. Springer Verlag, Berlin 2004.
  • [20] SWRL: A semantic Web Rule Language Combining OWL and RuleML. W3C, http://www.w3.org/Submission/SWRL, 2004.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BWAP-0004-0022
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.