«ИЗВЕСТИЯ ИРКУТСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА». СЕРИЯ «МАТЕМАТИКА»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

Список выпусков > Серия «Математика». 2010. Том 4

Объектные модели и распределенные системы знаний

Автор(ы)
А. В. Манцивода, Н. О. Стукушин
Аннотация

В статье рассматриваются вопросы использования дескриптивных логик для построения моделей метаописаний. Предлагается метод построения таких моделей в рамках дескриптивной логики ОО–проекций. Данный метод иллюстрируется на примере классической системы метаописаний – дублинского ядра.

Ключевые слова
онтологии, метаописание, дублинское ядро, язык запросов Libretto, спецификация
УДК
518.517
Литература

1. Логическая модель дублинского ядра [Электронный ресурс]. – URL: http://teacode.com/models/dc/ (дата обращения: 10.11.10).

2. Малых А.А. Логические архитектуры и объектно-ориентированный подход / А. А. Малых, А. В. Манцивода, В. С. Ульянов // Вестн. НГУ. Серия: Математика, механика, информатика. – 2009. – Т.9, вып. 3. - С. 64-85.

3. Сайт Высшей аттестационной комиссии (ВАК) [Электронный ресурс].– URL: http://vak.ed.gov.ru/ (дата обращения: 10.11.10).

4. Объектные базы, построенные в системе Libretto [Электронный ресурс].– URL: http://teacode.com/ (дата обращения: 10.11.10).

5. Berners-Lee T. The Semantic Web / T. Berners-Lee, J. Hendler, O. Lassila // Scientific American. – 2001. – № 5. – P. 34-43.

6. DCMI Specifications [Электронный ресурс]. – URL: http://dublincore.org/specifications/ (дата обращения: 10.11.10).

7. Ian Horrocks, and Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Fensel, D., Sycara, K. and Mylopoulos, J., eds., Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in Lecture Notes in Computer Science, 17-29. Springer.

8. ISO 639 [Электронный ресурс]. – URL: http://www.loc.gov/standards/iso639-2/ (дата обращения: 10.11.10).

9. ISO 3166 [Электронный ресурс].– URL: http://www.iso.org/iso/country_codes.htm (дата обращения: 10.11.10).

10. Prot´eg´e: open source ontology editor and knowledge-base framework. [Электронный ресурс]. – URL: http://protege.stanford.edu/ (дата обращения: 10.11.10).

11. Malykh A. A Query Language for Logic Architectures / A. Malykh, A. Mantsivoda // Proceedings of 7th International Conference ¾Perspectives of System Informatics¿. – Springer-Verlag Berlin Heidelberg, Lect [Электронный ресурс]. ure Notes in Computer Science 5947. – 2010. – P. 294-–305.

12. Resource Description Framework (RDF) [Электронный ресурс]. – URL: http://www.w3.org/RDF/ (дата обращения: 10.11.10).

13. Semantic Web activity: [Электронный ресурс]. – URL: http://www.w3.org/2001/sw/ (дата обращения: 10.11.10).

14. The Description Logic Handbook: Theory, Implementation, Applications / F. Baader and others. – Cambridge. – 2003. – P.574.

15. The Dublin Core Metadata Initiative [Электронный ресурс]. – URL: http://dublincore.org/ (дата обращения: 10.11.10).

16. Web Ontology Language (OWL) [Электронный ресурс]. – URL: www.w3.org/2004/OWL (дата обращения: 10.11.10).


Полная версия (русская)