Celem autorów jest zaprezentować możliwość wykorzystania logiki deskrypcyjnej (opisowej) w tworzeniu „map wiedzy” będących odpowiednio sformalizowanym pod względem semantycznym i syntaktycznym sposobem modelowania wybranych fragmentów wiedzy. Takie mapy wiedzy umożliwiają semantyczny opis zasobów zrozumiały maszynowo. Przykładowym zastosowaniem logiki opisowej będzie w tym wypadku proces tworzenia baz wiedzy dotyczącej wytwarzania elementów maszyn.
EN
Authors present the possibility of using description logic in creating "maps of knowledge” which are formalized models of selected fragments of knowledge in terms of semantics and syntactic. Such maps provide a semantic machine-understandable description of knowledge resources. An example application of description logic is the process of knowledge bases development for the production of machine parts.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.