System automatycznej dedukcji dla logiki deskrypcyjnej z językiem ALCN

• Autorzy: Meissner A.

Warianty tytułu

EN

An automated deduction system for description logic with ALCN language

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawia się prosty system automatycznej dedukcji dla logiki deskrypcyjnej z językiem ALCN. Podstawową funkcją systemu jest badanie spełnialności pojęć oraz testowanie hipotez dotyczących relacji między pojęciami, tj. subsumpcji, równoważności i rozłączności. Do dedukcji wykorzystuje się metodę tabel analitycznych, a językiem implementacji systemu jest Prolog.

EN

In this paper a simple automated deduction system for Description Logic with ALCN language is presented. It enables verification of four types of hypotheses concerning concepts, i.e. satisfiability, subsumption, equivalence and disjointness. The system uses an algorithm originating from semantic tableau calculus. The implementation has a form of relatively small program in Prolog language containing only elementary procedures, essential for soundness and completeness of inference process.

Słowa kluczowe

PL

system automatycznej dedukcji; logika deskrypcyjna; język ALCN

EN

automatic deduction system; descriptive logic; ALCN language

• Wydawca: Poznańskie Towarzystwo Przyjaciół Nauk
• Czasopismo: Studia z Automatyki i Informatyki
• Rocznik: 2004
• Tom: T. 28/29
• Strony: 91--110
• Opis fizyczny: Bibliogr. 12 poz., rys., tab.

Twórcy

autor

Meissner A.

• Politechnika Poznańska, Instytut Automatyki i Inżynierii Informatycznej, Zakład Technologii i Systemów Informatycznych, pl. Skłodowskiej-Curie 5, 60-965 Poznań

Bibliografia

• [1] Principles of Knowledge Representation and Reasoning, Aiello L.C., Doyle J., Shapiro S. (eds.) Proceedings of the Fifth International Conference (KR), Morgan Kaufmann, 1996.
• [2] The Description Logic Handbook: Theory, Implementation and Applications, Baader F., McGuinness D.L., Nardi D., Patel-Schneider P.F. (eds.), Cambridge University Press, 2003.
• [3] Barchman J., Schmolze J.G., An Overview of the KL-ONE Knowledge Representation System, Cognitive Science, Vol. 9(2), 1985, s. 171-216.
• [4] Beckert B., Posegga J., lean TAP: Lean, Tableau-based Deduction, Journal of Automated Reasoning; Vol. 15(3), 1995, s. 339-358.
• [5] Beth W.E., Completeness Results for Formal Systems, Proc. Int. Congress of Math., 1958.
• [6] Calvanese D., Lenzerini M., Nardi D., Unifying Class-based Representation Formalism, Journal of Artificial Intelligence Research, Vol. 11, 1999, s. 199-240.
• [7] Gentzen G., Untersuchngen uber das logische Schliessen, Math. Zeitschrift XXXIX, 1934, s. 176-210.
• [8] de Giacomo G., Iocchi L., Nardi D., Rosati R., Moving a Robot; The KR&R Approach at Work, w: [1],s. 198-209.
• [9] Horrocks I.R., Optimising Tableaux Decision Procedures for Description Logics, rozprawa doktorska, University of Manchester, 1997.
• [10] Rychtyckyj N., DLMS: An Evaluation of KL-ONE in the Automobile Industry, w: [1], s. 328-339.
• [11] Welty Ch., An Integrated Representation for Software Development and Discovery, rozprawa doktorska, Rensselaer Polytechnics Institute, 1995.
• [12] World Wide Web Consortium, Semantic Web, http://www.w3.org/2001/sw/.