DOGM

DOGMA , förkortning för Developing Ontology-Grounded Methods and Applications , är namnet på forskningsprojekt som pågår vid Vrije Universiteit Brussels STARLab, Semantics Technology and Applications Research Laboratory. Det är ett internt finansierat projekt som handlar om de mer allmänna aspekterna av att extrahera, lagra, representera och bläddra i information.

Metodologisk rot

DOGMA, som en dialekt av det faktabaserade modelleringssättet , har sin rot i databassemantik och modellteori. Den följer den faktabaserade informationshanteringsmetoden mot konceptualisering och 100 %-principen enligt ISO TR9007 .

DOGMA metodologiska principer inkluderar:

  1. Dataoberoende: betydelsen av data ska vara frikopplad från själva data.
  2. Tolkningsoberoende: unära eller binära faktatyper (dvs. lexoner) ska följa formell tolkning för att lagra semantik; Lexoner själva bär inte semantik
  3. Flera synpunkter på och användningar av lagrad konceptualisering. En ontologi ska vara skalbar och utbyggbar.
  4. Språkneutral. En ontologi ska möta flerspråkiga behov.
  5. Presentationsoberoende: en ontologi i DOGMA ska möta alla typer av användares behov av presentation. Som en FBM-dialekt stöder DOGMA både grafiska noteringar och textpresentation på ett kontrollerat språk. Semantiska beslutstabeller är till exempel ett sätt att visualisera processer i ett DOGMA-åtagande. SDRule-L är att visualisera och publicera ontologibaserade beslutsstödsmodeller.
  6. Koncept ska valideras av intressenterna.
  7. Informella textdefinitioner ska tillhandahållas om källan till ontologin saknas eller är ofullständig.

Teknisk introduktion

DOGMA är ett ontologiskt tillvägagångssätt och ramverk som inte är begränsat till ett visst representationsspråk . Detta tillvägagångssätt har några utmärkande egenskaper som gör det skiljer sig från traditionella ontologiska tillvägagångssätt som (i) dess grund i de språkliga representationerna av kunskap och (ii) den metodologiska separationen av konceptualiseringen av domän-versus-applikation, som kallas ontologins dubbelartikulation . princip. Tanken är att öka potentialen för återanvändning och designskalbarhet. Konceptualiseringar materialiseras i termer av lexoner. En lexon är en 5-tupel som deklarerar antingen (i något sammanhang G):

  1. taxonomiskt förhållande (släkte): t.ex. < G, chef, är en, subsummar, person >;
  2. icke-taxonomiskt samband (differentia): t.ex. , < G, chef, regisserar, regisserad av, företag >.

Lexoner kan ungefär betraktas som en kombination av en RDF / OWL- trippel och dess invers, eller som en konceptuell grafstilsrelation (Sowa, 1984). Nästa avsnitt utvecklar mer begreppen sammanhang.

Språk kontra konceptuell nivå

En annan utmärkande egenskap hos DOGMA är den explicita dualiteten (ortogonal till dubbel artikulation ) i tolkningen mellan språknivå och begreppsnivå. Målet med denna separation är i första hand att disambiguera den lexikaliska representationen av termer i ett lexon (på språknivå) till begreppsdefinitioner (på begreppsnivå), som är ordbemärkelser hämtade från lexikaliska resurser som WordNet . Betydelsen av termerna i en lexon är beroende av framkallningskontexten.

Tänk till exempel på termen "kapital". Om den här termen hämtades från en skrivmaskinsmanual har den en annan innebörd (läs: begreppsdefinition) än när den framkallades från en bok om marknadsföring. Den intuition som ett sammanhang ger här är: ett sammanhang är en abstrakt identifierare som hänvisar till implicita eller tysta antaganden i en domän, och som mappar en term till dess avsedda betydelse (dvs. begreppsidentifierare) inom dessa antaganden.

Ontologins utveckling

Ontologier utvecklas naturligt tillsammans med deras användningsgemenskaper. Därför identifierade han i De Leenheer (2007) en uppsättning primitiva operatorer för att förändra ontologier. Vi ser till att dessa förändringsprimitiver är villkorade, vilket innebär att deras tillämpbarhet beror på för- och eftervillkor. Genom att göra det garanterar vi att endast giltiga strukturer kan byggas.

Typer av sammanhangsberoende

De Leenheer och de Moor (2005) särskiljde fyra nyckelegenskaper hos sammanhang:

  1. ett sammanhang paketerar relaterad kunskap: det definierar en del av kunskapen om en viss domän,
  2. den disambiguerar den lexikaliska representationen av begrepp och relationer genom att skilja mellan språknivå och begreppsnivå,
  3. den definierar kontextberoenden mellan olika ontologiska sammanhang och
  4. kontexter kan vara inbäddade eller sammanlänkade, i den meningen att uttalanden om kontexter i sig själva är i kontexten.

Utifrån detta identifierade de tre olika typer av sammanhangsberoende inom en ontologi (intra-ontologisk) och mellan olika ontologier (inter-ontologisk): artikulering, tillämpning och specialisering. Ett särskilt exempel i betydelsen konceptuell grafteori skulle vara ett specialiseringsberoende för vilket beroendebegränsningen är likvärdig med villkoren för CG-specialisering

Kontextberoenden ger en bättre förståelse av var kunskapselementen befinner sig och deras ömsesidiga beroenden, och gör följaktligen förhandling och tillämpning mindre sårbar för tvetydighet, och därmed mer praktisk.

Se även

Vidare läsning

  • Mustafa Jarrar: "Mot metodologiska principer för ontologiteknik" . Doktorsavhandling. Vrije Universiteit Brussel. (maj 2005)
  •   Mustafa Jarrar: "Mot begreppet glans och antagandet av språkliga resurser inom formell ontologiteknik" . I förhandlingarna om den 15:e internationella World Wide Web Conference (WWW2006). Edinburgh, Skottland. Sidorna 497-503. ACM Tryck. ISBN 1-59593-323-9 . maj 2006.
  • Mustafa Jarrar och Robert Meersman: "Ontology Engineering - The DOGMA Approach" . Bokkapitel (kapitel 3). In Advances in Web Semantics I. Volym LNCS 4891, Springer. 2008.
  • Banerjee, J., Kim, W. Kim, H. och Korth., H. (1987) Semantik och implementering av schemaevolution i objektorienterade databaser. Proc. ACM SIGMOD Conf. Management of Data, 16(3), s. 311–322
  • De Leenheer P, de Moor A (2005). Kontextdriven disambiguering i ontologiframkallande. I P. Shvaiko och J. Euzenat (red), Context and Ontologies: Theory, Practice and Applications. Proc. of the 1st Context and Ontologies Workshop, AAAI/IAAI 2005, Pittsburgh, USA, sid 17–24
  • De Leenheer P, de Moor A, Meersman R (2007). Kontextberoendehantering i ontologiteknik: ett formellt tillvägagångssätt. Journal on Data Semantics VIII, LNCS 4380, Springer, sid 26–56
  • Jarrar, M., Demey, J., Meersman, R. (2003) Om återanvändning av konceptuell datamodellering för ontologiteknik. Journal on Data Semantics 1(1):185–207
  • Spyns P, Meersman R, Jarrar M (2002). Datamodellering kontra ontologiteknik. SIGMOD Record, 31(4), s 12–17
  • Peter Spyns, Yan Tang och Robert Meersman, An Ontology Engineering Methodology for DOGMA, Journal of Applied Ontology, specialnummer om "Ontological Foundations for Conceptual Modeling", Giancarlo Guizzardi och Terry Halpin (red.), Volym 3, Issue 1-2, sid. 13-39 (2008).
  • Officiell webbplats för faktabaserad modellering (FBM): http://www.factbasedmodeling.org/