Dobór języka reprezentacji wiedzy w ontologiach dziedzinowych

W artykule podjeto problem doboru jezyka reprezentacji wiedzy dla ontologii dziedzinowych. Przedstawiono w nim zastosowania ontologii jako narzedzia reprezentacji wiedzy oraz analize formalizmow logicznych, takich jak: ramy, programowanie logiczne, logika opisowa, logika I rzedu i logika wspolna. Nastepnie analizie poddano szereg, klasycznych i opartych na znacznikach, jezykow reprezentacji wiedzy: Ontolingua, LOOM, OCML, FLogic, SHOE, RDF(S), OWL oraz OWL 2. Na podstawie analizy literatury usystematyzowano rowniez związki i zalezności pomiedzy poszczegolnymi wersjami i profilami jezyka OWL. Artykul konczy nastepująca konkluzja: jezyk OWL 2 DL jest najbardziej ekspresywnym jezykiem zachowującym rozstrzygalnośc, w związku z czym charakteryzuje sie on najwyzszą stosowalnością w budowie ontologii dziedzinowych, umozliwiających wnioskowanie.

[1]  Asunción Gómez-Pérez,et al.  Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web , 2004, Advanced Information and Knowledge Processing.

[2]  Klaus Truemper,et al.  Design of logic-based intelligent systems , 2004 .

[3]  Núria Casellas,et al.  Legal ontology engineering : methodologies, modelling trends, and the ontology of professional judicial knowledge , 2011 .

[4]  Roger T. Hartley.  Representation of Procedural Knowledge for Expert Systems , 1985, CAIA.

[5]  Bo K. Wong,et al.  Expert system applications in business: A review and analysis of the literature (1977-1993) , 1995, Inf. Manag..

[6]  Oscar Corcho,et al.  an Introduction to Ontologies and Ontology Engineering , 2011 .

[7]  Ramesh C. Jain,et al.  Knowledge representation and control in computer vision systems , 1988, IEEE Expert.

[8]  Ajith Abraham,et al.  Intelligent Systems: Architectures and Perspectives , 2004, ArXiv.

[9]  Wen-Lung Shiau,et al.  A profile of information systems research published in expert systems with applications from 1995 to 2008 , 2011, Expert Syst. Appl..

[10]  Michael Gruninger,et al.  ONTOLOGY Applications and Design , 2002 .

[11]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[12]  Michael Uschold,et al.  Ontologies and semantics for seamless connectivity , 2004, SGMD.

[13]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[14]  Jorge S. Cardoso.  The Semantic Web Vision: Where Are We? , 2007, IEEE Intelligent Systems.

[15]  José Júlio Alferes,et al.  Local closed world reasoning with description logics under the well-founded semantics , 2011, Artif. Intell..

[16]  Siddharth,et al.  Integrated Knowledge Base: An Approach to Knowledge Extraction , 2012 .

[17]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[18]  Franz Baader.  Description Logics , 2009, Reasoning Web.

[19]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[20]  Asunción Gómez-Pérez,et al.  Ontological Engineering: Principles, Methods, Tools and Languages , 2006, Ontologies for Software Engineering and Software Technology.

[21]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[22]  Temur Kutsia,et al.  Solving, Reasoning, and Programming in Common Logic , 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[23]  Hideaki Takeda,et al.  Common Languages for Web Semantics , 2010, ENASE.

[24]  Graeme Hirst,et al.  Semantic Interpretation and the Resolution of Ambiguity , 1987, Studies in natural language processing.

[25]  Jesús Carretero,et al.  An ontology-driven decision support system for high-performance and cost-optimized design of complex railway portal frames , 2012, Expert Syst. Appl..

[26]  Li-Yen Shue,et al.  The development of an ontology-based expert system for corporate financial rating , 2009, Expert Syst. Appl..

[27]  J. Bruijn,et al.  Logics for the Semantic Web , 2007 .

[28]  Benjamin N. Grosof,et al.  Supporting Rule System Interoperability on the Semantic Web with SWRL , 2005, SEMWEB.

[29]  Jakub Brdulak.  Systemy informatyczne w zarządzaniu wiedzą , 2004 .

[30]  Michel Dumontier,et al.  yOWL: An ontology-driven knowledge base for yeast biologists , 2008, J. Biomed. Informatics.

[31]  S French,et al.  Multicriteria Methodology for Decision Aiding , 1996 .