Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: descriptive logic

Sortuj według:

Ogranicz wyniki do:

Odwzorowania międzyontologiczne w algebrze konglomeratów

Goczyła K., Waloszek A., Waloszek W., Zawadzka T.

Studia Informatica

2012

Vol. 33, nr 2A

329-345

Modularyzacja i integracja ontologii to dziedziny, które w ostatnim okresie są obiektem intensywnego rozwoju. Rozwój nowych idei spowodował konieczność wprowadzenia ich systematyzacji i klasyfikacji. W niniejszym artykule przeanalizowano możliwość wyrażenia odwzorowań i złączeń za pomocą algebry konglomeratów oraz przedyskutowano możliwość wykorzystania roli algebry jako ujednoliconego medium opisu metod integracji i modularyzacji.

Modularization and integration of ontologies are domains that are recently of great interest among researchers in the domain of Semantic Web. In the paper we analyze the possibility of expressing two main branches of methods: mappings and links by means of s-module algebra and discuss possibility of using the algebra as a uniform medium of description of such methods.

System automatycznej dedukcji dla logiki deskrypcyjnej z językiem ALCN

Meissner A.

Studia z Automatyki i Informatyki

2004

T. 28/29

91--110

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.

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.