GNOWSYS
 | |
| Utvecklare | GNU-projektet |
|---|---|
| Stabil frisättning | 1,0 rc1 |
| Förvar | |
| Operativ system | Cross-plattform |
| Typ | Semantisk beräkning |
| Licens | AGPL-3.0 eller senare |
| Hemsida | www.gnu.org/software/gnowsys/ |
GNOWSYS (Gnowledge Networking and Organizing system) är en specifikation för en generisk distribuerad nätverksbaserad minne/ kunskapshantering . Den är utvecklad som en applikation för att utveckla och underhålla semantiskt webbinnehåll . Det är skrivet i Python . Den är implementerad som en Django -app. GNOWSYS-projektet lanserades av Nagarjuna G. 2001, medan han arbetade på Homi Bhabha Center for Science Education ( HBCSE).
Minnet hos GNOWSYS är utformat som ett nodorienterat utrymme. En nod beskrivs av andra noder som den har länkar till. Noderna är organiserade och bearbetade enligt en komplex datastruktur som kallas grannskapet.
Ansökningar
Applikationen kan användas för webbaserad kunskapsrepresentation och innehållshanteringsprojekt, för att utveckla strukturerade kunskapsbaser, som ett samarbetsverktyg för författarskap, lämpligt för att göra elektroniska ordlistor, ordböcker och uppslagsverk, för att hantera stora webbplatser eller länkar, utveckla en onlinekatalog för ett bibliotek med vad som helst inklusive böcker, för att göra ontologier, klassificera och nätverka alla objekt, etc. Detta verktyg är också avsett att användas för ett on-line handledningssystem med beroendehantering mellan olika koncept eller mjukvarupaket. Till exempel har beroenderelationerna mellan Debianpaket representerats av gnowledge-portalen .
Komponentklasser
Kärnan är utformad för att ge stöd för att ihärdigt lagra mycket granulära noder av kunskapsrepresentation som termer, predikat och mycket komplexa propositionssystem som argument, regler, axiomatiska system, löst hållna stycken och mer komplexa strukturerade och konsekventa sammansättningar. Alla komponentklasser i GNOWSYS klassificeras efter komplexitet i tre grupper, där de två första grupperna används för att uttrycka alla möjliga välformade formler som är tillåtna i en första ordningens logik.
Villkor
'Objekt', 'Objekttyp' för deklarativ kunskap, 'Händelse', 'Händelsetyp' för temporala objekt och 'Metatyper' för att uttrycka övre ontologi . Objekten i denna grupp är i huvudsak vilken sak som helst som kunskapsingenjören avser att uttrycka och lagra i kunskapsbasen, dvs de är objekt för diskurs. Förekomsterna av dessa komponentklasser kan lagras med eller utan uttryckande "instans av" eller "underklass av"-relationer mellan dem.
Predikat
Denna grupp består av 'Relation' och 'Relationstyp' för att uttrycka deklarativ kunskap, och 'Funktion' och 'Funktionstyp' för att uttrycka procedurkunskap. Denna grupp ska uttrycka kvalitativa och kvantitativa relationer mellan de olika instanser som finns lagrade i kunskapsbasen. Medan instansieringen av predikaten kan karakteriseras av deras logiska egenskaper hos relationer, kvantifierare och kardinalitet som monadiska predikat för dessa predikatobjekt.
Strukturer
'System', 'Encapsulated Class', 'Program' och 'Process' är andra basklasser för komplexa strukturer, som kan kombineras iterativt för att producera mer komplexa system. Komponentklassen 'System' är att i kunskapsbasen lagra en uppsättning propositioner sammansatta i ontologier, axiomatiska system, komplexa system som t.ex. en människokropp, en artefakt som ett fordon etc., med eller utan konsistenskontroll. En 'Encapsulated Class' är att komponera deklarativa och beteendemässiga objekt på ett flexibelt sätt för att bygga klasser. Ett "program" är inte bara att lagra logiken för ett komplett program eller en komponentklass, sammansatt av de redan tillgängliga beteendeinstanserna i kunskapsbasen med inbyggda kopplingar (villkor och loopar), utan också att köra dem som webbtjänster . En 'process' är att strukturera tidsmässiga objekt med sekvens, samtidighet, synkrona eller asynkrona specifikationer.
Varje nod i databasen behåller grannskapsinformationen, såsom dess superklass, underklass, instans-av och andra relationer, i vilka objektet har en roll, i form av predikat. Den här funktionen gör beräkning av ritningsgrafer och slutledningar å ena sidan och beroende- och navigeringsvägar å andra sidan mycket lätt. All data och metadata indexeras i en central katalog som gör sökning och lokalisering av resurser effektiv.
