Reasoning from multi-typed sources of individuals in RKaSeA

Krzysztof Goczyła, Aleksander Waloszek, Wojciech Waloszek, Teresa Zawadzka

Abstract


The paper presents the concept of managing assertional knowledge in a novel knowledge management system RKASEA. According to this concept the description of the world is handled as a set of sources of individuals. This concept turned out to be flexible enough to cover the mechanism for inferring with rules and the mechanism for acquiring the data from external data sources. In the presented framework the both mechanisms are recognized as additional types of sources of individuals.

Keywords


knowledge bases; Semantic Web; inference system; knowledge; rules; description logics

Full Text:

PDF (Polski)

References


Berners-Lee T., Hendler J., Lassila O.: The Semantic Web. Scientific American, nr 284(5), 2001, s. 34-43.

Waloszek W.: Metody strukturalnej analizy ontologii opartych na logice opisowej. Praca doktorska, Gdańsk, 2008.

Baader F.A., McGuiness D.L., Nardi D., Patel-Schneider P.F. (red.): The Description Logic Handbook: Theory, implementation, and applications. Cambridge University Press, 2003.

Antoniou G. i in.: Combining Rules and Ontologies. A survey, raport projektu REWERSE dostępny pod adresem: http://rewerse.net/deliverables/ml2/i3-d3.pdf.

Semantic MediaWiki: http://semanict-mediawiki.org

Vanderwende L., Kacmarcik G., Suzuki H, Meneses A.: MindNet: an automatically-created lexical resource, in HLT/EMNLP Interactive Demonstrations Proceedings, 2005, Redmond, WA 98052, USA.

ConceptNet: http://www.wolframalpha.com/

Barrasa J., Corcho Ó., Gómez-Pérez A.: R20: An extensible and semantically based database-to-ontology mapping language, WebDB 2004. Proc. of the 7th Int. Workshop on the Web and Databases (2004).

Cullot N., Ghawi R., and Yetongnon K. : DB20WL: A Tool for Automatic Database-to-Ontology Mapping. In Proceedings of 15th Italian Symposium on Advanced Database Systems (SEBD 2007), 17-20 2007, Torre Canne, Italy, s. 491-494. Goczyła K., Zawadzka T., Zawadzki M.: Managing Data from Heterogeneous data

Sources using Knowledge Layer. Software Engineering Techniques: Design for Quality, IFIP International Federation for Information processing, Vol. 227, K. Sacha (red.), Boston, Springer, 2006, s. 300-312.

Goczyła K., Waloszek A., Waloszek W.: Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii. Studia Informatica, Vol. 30, No. 2A, 2009, s. 141-156.

Codd E.F.: Relational Completeness of Data Base Sublanguages. Database Systems, 1979, t. 6, s. 65-98.

Goczyła K., Piotrowski P., Waloszek A., Waloszek W., Zawadzka T.: Język KQL jako realizacja idei języka SQL dla bazy wiedzy (praca zgłoszona do publikacji).

Goczyła K., Waloszek A., Waloszek W., Zawadzka T.: Wewnętrzna reprezentacja konglomeratowej bazy wiedzy w systemie RkaSeA (praca zgłoszona do publikacji).

Goczyła K., Waloszek W., Zawadzka T., Zawadzki M.: The Knowledge Cartography-a New Approach to Reasoning over Description Logics Ontologies. W: SOFSEM 2006 Theory and Practice of Computer Science, red. J. Wiedermann, J. Stuller, G. Tel, J. Pokorny, M. Bielikova, Berlin Heilderberg, Springer-Verlag, 2006 (LNCS 3831), s. 293-302.

Goczyła K., Zawadzka T., Zawadzki M.: Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą. Bazy Danych, Nowe technologie - Architektura, metody formalne i zaawansowana analiza danych: praca zbiorowa pod red. S. Kozielski, B. Małysiak, P. Kasprowski, D. Mrozek. Warszawa: WKŁ 2007, s. 283-294.

Zawadzka T.: Integracja heterogenicznych źródeł wiedzy z wykorzystaniem logiki opisowej. Rozprawa doktorska, Politechnika Gdańska, 2009.

Forgy C.L.: Rete: A fast algorithm for the many pattern/many object pattern match problem, w: Artificial Intelligence, tom 19, nr 1, 1982, s. 17-37.

Haarslev V., Möller R.: RACER System Description, w: Proceedings of IJCAR 2001. LNAI 2083, Springer-Verlag, 2001, s. 701-706.

Sirin E., Parsia B.: Pellet: An OWL DL reasoner, w: Proceedings of the International Workshop on Description Logics, 2004, s. 212-213.

KAON2, http://kaon2.semanticweb.org/




DOI: http://dx.doi.org/10.21936/si2010_v31.n2A.356