Ефективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELK

Автор(и)

  • Александр Сергеевич Поспешный Аспирант и ассистент кафедры Вычислительной техники факультета Информатики и вычислительной техники НТУУ «КПИ».,

DOI:

https://doi.org/10.20535/1560-8956.20.2012.30710

Ключові слова:

ontology, dataypes, reasoning, EL , ELK

Анотація

Багаторазово і регулярно висловлювалася думка, що типізовані вирази з використанням конкретних типів даних матимуть першорядну роль в Семантичної павутині і необхідні для cтворення баз знань. У цій статті ми представляємо модифікацію високопродуктивного логічного процесора ELK з підтримкою типізованих властивостей в рамках профілю OWL 2 EL. Проведені випробування показали виняткову швидкість класифікації великих онтологій зі значною кількістю екземплярів і типізованих властивостей, що відкриває нові перспективи для застосування логічних процесорів на практиці

Посилання

K. Dentler, R. Cornet, A. Ten Teije, N. De Keizer. Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semantic Web, vol. 2(2), pp. 71–87, 2011.

Yevgeny Kazakov, Markus Krötzsch, František Simančík. Concurrent Classification of EL Ontologies. Proceedings of the 10th International Semantic Web Conference (ISWC-11). LNCS 7032, Springer, 2011.

Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK: A Reasoner for OWL EL Ontologies. System Description 2012. http://korrekt.org/papers/Kazakov-Kroetzsch-Simancik_ELK-system-description_TR.pdf

Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK Reasoner: Architecture and Evaluation. Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012). CEUR Workshop Proceedings, 2012.

B. Glimm, A. Hogan, M. Krötzsch, A. Polleres. OWL: Yet to arrive on the Web of Data?. Arxiv preprint, 2012.

OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-syntax/.

XML Schema Part 2: Datatypes Second Edition. W3C Recommendation 28 October 2004. http://www.w3.org/TR/xmlschema-2

rdf:PlainLiteral: A Datatype for RDF Plain Literals. W3C Recommendation 27 October 2009. http://www.w3.org/TR/rdf-plain-literal

Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation 10 February 2004. http://www.w3.org/TR/rdf-concepts

RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation 10 February 2004. http://www.w3.org/TR/rdf-schema

Anders Moller. dk.brics.automaton - Finite-State Automata and Regular Expressions for Java. 2010. http://www.brics.dk/automaton

Поспешный А.С., Стиренко С.Г. GRID-DL – семантический информационный сервис ГРИД // Компьютинг, 2011. - Том 10, Выпуск 3. - С. 285 - 294.

Поспешный А.С., Стиренко С.Г. Онтология ресурсов для семантического информационного сервиса Грид, Электронное моделирование. 33 (4) (2011).

##submission.downloads##

Опубліковано

2012-11-23