Semantic Web in a Nutshell

• Autorzy: Szałas A.

Warianty tytułu

PL

Sieć semantyczna w pigułce

• Języki publikacji: EN

Abstrakty

EN

The paper outlines selected topics related to Semantic Web. We start with problems with the use of current web search engines. Next, we discuss the architecture and basic concepts of Semantic Web whose central ideas focus around ontologies. We show the role of logics in the specification and verification of ontologies as well as reasoning about them. We mainly concentrate on rule languages. In particular we discuss the 4QL query language supplying the user with simple, yet powerful constructs for filling gaps in missing knowledge as well as for disambiguation of inconsistencies.

PL

Artykuł zarysowuje wybrane zagadnienia związane z Semantycznym Internetem. Wychodząc od problemów rozwiązań stosowanych we współczesnych wyszukiwarkach, traktuje o architekturze i zasadniczych koncepcjach Semantycznego Internetu, którego kluczowym pojęciem są ontologie. Tekst omawia miejsce logik w specyfikacji i weryfikacji ontologii, a także wnioskowaniu o nich, koncentrując się przede wszystkim na językach regułowych, w tym na języku 4QL, dostarczającym prostych konstrukcji umożliwiających reakcję na niepełną i/lub sprzeczną informację.

Słowa kluczowe

EN

semantic web; specification of ontologies; verification of ontologies

PL

Semantyczny Internet; specyfikacja ontologii; weryfikacja ontologii

• Wydawca: Warszawska Wyższa Szkoła Informatyki
• Czasopismo: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
• Rocznik: 2011
• Tom: nr 6
• Strony: 14--19
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Szałas A.

• Uniwersytet Warszawski
• Uniwersytet w Linköpingu, Szwecja

Bibliografia

• [1] Abiteboul S., Hull R., Vianu V., Foundations of Databases, Addison-Wesley Pub. Co., 1996
• [2] Baader F., Brandt S., Lutz C., Pushing the EL envelope, in: Proceedings of IJCAI’2005, (eds.) Kaelbling L.P., Saffiotti A., Morgan-Kaufmann Publishers, 2005, pages 364-369
• [3] Baader F., Brandt S., Lutz C., Pushing the EL envelope further, in: Proc. of the Washington DC workshop on OWL: Experiences and Directions (OWLED08DC), 2008
• [4] Baader F., Sattler U., An overview of tableau algorithms for description logics, „Studia Logica” 2001, Vol. 69, pages 5-40
• [5] Calvanese D., De Giacomo G., Lembo D., Lenzerini M., Rosati R., Tractable reasoning and efficient query answering in description logics: The L-Lite family, „J. Autom. Reasoning” 2007, Vol. 39, No. 3, pages 385-429
• [6] Grosof B.N., Horrocks I., Volz R., Decker S., Description logic programs: combining logic programs with description logic, in: WWW2003, Budapest, May 20-24, 2003, pages 48-57
• [7] Horrocks I., Kutz O., Sattler U., The even more irresistible SROIQ, in: Proceedings of KR’2006, (eds.) Doherty P., Mylopoulos J., Welty C.A., AAAI Press, 2006, pages 57-67
• [8] Małuszyński J., Szałas A., Living with Inconsistency and Taming Nonmonotonicity, in: Datalog 2010, (eds.) Gottlob G., Grasso G., Moor O. de, Sellers A., LNCS 6702, Springer-Verlag, 2011, pages 334-398
• [9] Małuszyński J., Szałas A., Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation, „J. Applied Non-Classical Logics” 2011, Vol. 21, No. 2
• [10] Nguyen L.A., Szałas A., Three-Valued Paraconsistent Reasoning for Semantic Web Agents, in: KESAMSTA (1), LNCS 6070, Springer-Verlag, 2010, pages 152-162
• [11] Nguyen L.A., Szałas A., ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse, „Studia Logica” 2011, Vol. 98. No. 3, pages 387-428
• [12] Szałas A., Second-order Reasoning in Description Logics, „J. Applied Non-Classical Logics” 2006, Vol. 16, No. 3-4, pages 517-530

Uwagi

PL

Publikacja opracowana w ramach projektu „Program rozwoju oferty dydaktycznej i podnoszenia kompetencji wykładowców w Warszawskiej Wyższej Szkole Informatyki”.