Logika popisu - Description logic

Logika popisu (DL) jsou formální rodinou reprezentace znalostí jazyky. Mnoho DL je výraznějších než výroková logika ale méně výrazné než logika prvního řádu. Na rozdíl od posledně jmenovaného jsou problémy s hlavním uvažováním pro DL (obvykle) rozhodnutelné a pro tyto problémy byly navrženy a implementovány účinné rozhodovací postupy. Existují obecné, prostorové, časové, časoprostorové a fuzzy logiky popisu a každá logika popisu má jinou rovnováhu mezi expresivní síla a uvažování složitost podporou různých sad matematických konstruktorů.^[1]

DL se používají v umělá inteligence popsat a zdůvodnit relevantní koncepty aplikační domény (známé jako terminologické znalosti). To je obzvláště důležité při zajišťování logického formalismu pro ontologie a Sémantický web: Jazyk webové ontologie (OWL) a jeho profil je založen na DL. Nejpozoruhodnější aplikace DL a OWL je v biomedicínská informatika kde DL pomáhá při kodifikaci biomedicínských znalostí.

Úvod

Modely popisu logiky (DL) koncepty, role a Jednotlivcia jejich vztahy.

Koncept základního modelování DL je axiom—Logické prohlášení týkající se rolí a / nebo konceptů.^[2] To je klíčový rozdíl oproti rámy paradigma, kde a specifikace rámu deklaruje a zcela definuje třídu.^[2]

Nomenklatura

Terminologie ve srovnání s FOL a OWL

Komunita logiky popisu používá jinou terminologii než logika prvního řádu (FOL) komunita pro operativně ekvivalentní pojmy; některé příklady jsou uvedeny níže. The Jazyk webové ontologie (OWL) používá opět jinou terminologii, která je rovněž uvedena v následující tabulce.

Konvence pojmenování

Existuje mnoho druhů logiky popisu a existuje neformální konvence pojmenování, která zhruba popisuje povolené operátory. The expresivita je zakódován na štítku logiky začínající jednou z následujících základních logik:

${ displaystyle { mathcal {AL}}}$	Atributivní jazyk. Toto je základní jazyk, který umožňuje:
	Atomová negace (negace názvů konceptů, které se neobjevují na levé straně axiomů) Koncept křižovatky Univerzální omezení Omezená existenční kvantifikace
${ displaystyle { mathcal {FL}}}$	Jazyk popisu podle rámce,[3] umožňuje:
	Koncept křižovatky Univerzální omezení Omezená existenční kvantifikace Omezení role
${ displaystyle { mathcal {EL}}}$	Existenční jazyk umožňuje:
	Koncept křižovatky Existenční omezení (plné existenční kvantifikace)

Následuje kterékoli z následujících rozšíření:

${ displaystyle { mathcal {F}}}$	Funkční vlastnosti, zvláštní případ kvantifikace jedinečnosti.
${ displaystyle { mathcal {E}}}$	Plná existenční kvalifikace (existenční omezení, která mají jiná plniva než ${ displaystyle top}$).
${ displaystyle { mathcal {U}}}$	Koncept unie.
${ displaystyle { mathcal {C}}}$	Komplexní negace konceptu.
${ displaystyle { mathcal {H}}}$	Hierarchie rolí (dílčí vlastnosti: rdfs: subPropertyOf).
${ displaystyle { mathcal {R}}}$	Omezené komplexní role zahrnutí axiomy; reflexivita a irreflexivita; disjunktnost rolí.
${ displaystyle { mathcal {O}}}$	Nominálové. (Výčet tříd omezení hodnoty objektu: sova: jeden, sova: hasValue).
${ displaystyle { mathcal {I}}}$	Inverzní vlastnosti.
${ displaystyle { mathcal {N}}}$	Omezení mohutnosti (sova: mohutnost, sova: maxCardinality), zvláštní případ počítání kvantifikace
${ displaystyle { mathcal {Q}}}$	Kvalifikovaná omezení mohutnosti (k dispozici v OWL 2, omezení mohutnosti, která mají jiná plniva než ${ displaystyle top}$).
${ displaystyle ^ { mathcal {(D)}}}$	Použití vlastností datových typů, datových hodnot nebo datových typů.

Výjimky

Některé kanonické DL, které přesně neodpovídají této konvenci, jsou:

${ displaystyle { mathcal {S}}}$	Zkratka pro ${ displaystyle { mathcal {ALC}}}$ s tranzitivními rolemi.
${ displaystyle { mathcal {FL ^ {-}}}}$	Subjazyk jazyka ${ displaystyle { mathcal {FL}}}$, který je získán zakázáním omezení role. To odpovídá ${ displaystyle { mathcal {AL}}}$ bez atomové negace.
${ displaystyle { mathcal {FL}} _ {o}}$	Subjazyk jazyka ${ displaystyle { mathcal {FL ^ {-}}}}$, který je získán zakázáním omezené existenční kvantifikace.
${ displaystyle { mathcal {EL ^ {++}}}}$	Alias ​​pro ${ displaystyle { mathcal {ELRO}}}$.[4]

Příklady

Jako příklad, ${ displaystyle { mathcal {ALC}}}$ je centrálně důležitá logika popisu, ze které lze provést srovnání s jinými odrůdami. ${ displaystyle { mathcal {ALC}}}$ je prostě ${ displaystyle { mathcal {AL}}}$ s doplňkem jakéhokoli povoleného konceptu, nejen atomového konceptu. ${ displaystyle { mathcal {ALC}}}$ se používá místo ekvivalentu ${ displaystyle { mathcal {HODNOTA}}}$.

Další příklad, logika popisu ${ displaystyle { mathcal {SHIQ}}}$ je logika ${ displaystyle { mathcal {ALC}}}$ plus rozšířená omezení mohutnosti a tranzitivní a inverzní role. Konvence pojmenování nejsou čistě systematické, takže logika ${ displaystyle { mathcal {ALCOIN}}}$ lze označit jako ${ displaystyle { mathcal {ALCNIO}}}$ a kde je to možné, jsou také vytvořeny další zkratky.

Editor ontologie Protégé podporuje ${ displaystyle { mathcal {SHOIN}} ^ { mathcal {(D)}}}$. Tři hlavní základy terminologie biomedicínské informatiky, SNOMED CT, GALEN a GO jsou vyjádřitelné v ${ displaystyle { mathcal {EL}}}$ (s dalšími vlastnostmi role).

OWL 2 poskytuje expresivitu ${ displaystyle { mathcal {SROIQ}} ^ { mathcal {(D)}}}$, OWL-DL je založen na ${ displaystyle { mathcal {SHOIN}} ^ { mathcal {(D)}}}$a pro OWL-Lite ano ${ displaystyle { mathcal {SHIF}} ^ { mathcal {(D)}}}$.

Dějiny

Logika popisu dostala svůj současný název v 80. letech. Před tím se to nazývalo (chronologicky): terminologické systémy, a koncepční jazyky.

Reprezentace znalostí

Rámečky a sémantické sítě chybí formální (logická) sémantika.^[5] DL byl poprvé představen do reprezentace znalostí (KR) systémy k překonání tohoto nedostatku.^[5]

První systém KR založený na DL byl KL-ONE (podle Ronald J. Brachman a Schmolze, 1985). Během 80. let využívají další systémy založené na DL algoritmy strukturální subsumpce^[5] byly vyvinuty včetně KRYPTONA (1983), TKALCOVSKÝ STAV (1987), BACK (1988), K-REP (1991) a CLASSIC (1991). Tento přístup představoval DL s omezenou expresivitou, ale relativně efektivní (polynomiální čas) uvažování.^[5]

Na počátku 90. let bylo představeno nové algoritmus založený na tablo paradigma umožňovalo efektivní uvažování na expresivnější DL.^[5] Systémy založené na DL využívající tyto algoritmy - například KRIS (1991) - vykazují přijatelný výkon uvažování u typických inferenčních problémů, i když složitost nejhoršího případu již není polynomiální.^[5]

Od poloviny 90. let byly vytvářeny argumenty s dobrým praktickým výkonem na velmi expresivním DL s vysokou nejhorší složitostí.^[5] Mezi příklady z tohoto období patří FaCT,^[6] ZÁVODNÍK (2001), CEL (2005) a KAON 2 (2005).

DL rozmítači, jako FaCT, FaCT ++,^[6] RACER, DLP a pelety,^[7] implementovat metoda analytických obrazů. KAON2 je implementován pomocí algoritmů, které redukují znalostní základnu SHIQ (D) na disjunktivní datalog program.

Sémantický web

The Značkovací jazyk agenta DARPA (DAML) a Vrstva odvození ontologie (OLEJ) ontologické jazyky pro Sémantický web lze zobrazit jakosyntaktický varianty DL.^[8] Zejména formální sémantika a uvažování v OIL používají ${ displaystyle { mathcal {SHIQ}}}$ DL.^[9] The DAML + OLEJ DL byl vyvinut jako podání pro^[10]—A tvořil výchozí bod - World Wide Web Consortium (W3C) Pracovní skupina pro webovou ontologii.^[11] V roce 2004 pracovní skupina pro webovou ontologii dokončila svou práci vydáním SOVA^[12] doporučení. Konstrukce OWL je založena na ${ displaystyle { mathcal {SH}}}$ rodina DL^[13] s OWL DL a OWL Lite na základě ${ displaystyle { mathcal {SHOIN}} ^ { mathcal {(D)}}}$ a ${ displaystyle { mathcal {SHIF}} ^ { mathcal {(D)}}}$ resp.^[13]

Pracovní skupina W3C OWL zahájila v roce 2007 práci na vylepšení - a rozšíření - OWL.^[14] V roce 2009 to bylo dokončeno vydáním OWL2 doporučení.^[15] OWL2 je založen na logice popisu ${ displaystyle { mathcal {SROIQ}} ^ { mathcal {(D)}}}$.^[16] Praktické zkušenosti ukázaly, že OWL DL postrádalo několik klíčových funkcí nezbytných k modelování složitých domén.^[2]

Modelování

V DL se rozlišuje mezi tzv TBox (terminologická kolonka) a Krabice (kontrolní pole). TBox obecně obsahuje věty popisující koncepční hierarchie (tj. Vztahy mezi koncepty ) zatímco ABox obsahuje základní věty uvádějící, kam v hierarchii jednotlivci patří (tj. vztahy mezi jednotlivci a pojmy). Například prohlášení:

Každý zaměstnanec je člověk

(1)

patří do TBox, zatímco prohlášení:

Bob je zaměstnanec

(2)

patří do skupiny ABox.

Všimněte si, že rozlišení TBox / ABox není významné, ve stejném smyslu, že s těmito dvěma „druhy“ vět není zacházeno odlišně v logice prvního řádu (která zahrnuje většinu DL). Při překladu do logiky prvního řádu subsumption axiom jako (1) je pouze podmíněné omezení unární predikáty (koncepty), v nichž se objevují pouze proměnné. Je zřejmé, že věta tohoto tvaru není privilegovaná ani zvláštní nad větami, ve kterých se objevují pouze konstanty („uzemněné“ hodnoty) jako (2).

Proč tedy byl zaveden rozdíl? Primárním důvodem je, že oddělení může být užitečné při popisu a formulování rozhodovacích postupů pro různé DL. Například argumentující osoba může zpracovat TBox a ABox samostatně, částečně proto, že některé klíčové problémy s odvozením jsou spojeny s jedním, ale nikoli s druhým („klasifikace“ souvisí s TBox, „kontrola instance“ s ABox). Dalším příkladem je, že složitost TBox může výrazně ovlivnit výkon daného rozhodovacího postupu pro určitý DL, nezávisle na ABox. Je tedy užitečné mít způsob, jak mluvit o této konkrétní části znalostní báze.

Sekundárním důvodem je, že rozdíl může mít smysl z pohledu modeláře znalostní báze. Je možné rozlišovat mezi naší koncepcí pojmů / konceptů ve světě (třídní axiomy v TBox) a konkrétními projevy těchto pojmů / konceptů (tvrzení instance v ABox). Ve výše uvedeném příkladu: když je hierarchie ve společnosti stejná v každé pobočce, ale přiřazení zaměstnancům je v každém oddělení jiné (protože tam pracují další lidé), má smysl znovu použít TBox pro různé pobočky, které použijte stejný ABox.

Logika popisu má dvě funkce, které většina ostatních formalizmů popisu dat nesdílí: DL nedělá předpoklad jedinečného jména (UNA) nebo předpoklad uzavřeného světa (CWA). Nemít UNA znamená, že dva koncepty s různými jmény mohou být povoleny některými závěry, aby se ukázalo, že jsou ekvivalentní. Nemít CWA, nebo spíše mít předpoklad otevřeného světa (OWA) znamená, že nedostatek znalosti skutečnosti neznamená okamžitě znalost negace skutečnosti.

Formální popis

Jako logika prvního řádu (FOL), a syntax definuje, které sbírky symbolů jsou legální výrazy v logice popisu, a sémantika určit význam. Na rozdíl od FOL může mít DL několik dobře známých syntaktických variant.^[8]

Syntax

Syntaxe člena rodiny logiky popisu je charakterizována jeho rekurzivní definicí, ve které jsou uvedeny konstruktory, které lze použít k vytvoření pojmových termínů. Některé konstruktory souvisejí s logickými konstruktory v logika prvního řádu (FOL), jako je průsečík nebo spojení konceptů, svaz nebo disjunkce konceptů, negace nebo doplněk konceptů, univerzální omezení a existenční omezení. Ostatní konstruktéři nemají ve FOL žádnou odpovídající konstrukci, včetně omezení rolí, například inverzní, tranzitivita a funkčnost.

Zápis

Nechť C a D jsou pojmy, aab jsou jednotlivci a R je role.

Pokud a je R související s b, pak b se nazývá R-nástupce a.

Konvenční notace

Symbol	Popis	Příklad	Číst
${ displaystyle top}$	⊤ je speciální koncept s každým jednotlivcem jako instancí	${ displaystyle top}$	horní
${ displaystyle bot}$	prázdný pojem	${ displaystyle bot}$	dno
${ displaystyle sqcap}$	průsečík nebo spojení pojmů	${ displaystyle C sqcap D}$	C a D
${ displaystyle sqcup}$	svaz nebo disjunkce pojmů	${ displaystyle C sqcup D}$	C nebo D
${ displaystyle neg}$	negace nebo doplněk pojmů	${ displaystyle neg C}$	ne C.
${ displaystyle forall}$	univerzální omezení	${ displaystyle for all R.C}$	všichni R-nástupci jsou v C
${ displaystyle existuje}$	existenční omezení	${ displaystyle existuje R.C}$	v C existuje nástupce R.
${ displaystyle sqsubseteq}$	Pojem zařazení	${ displaystyle C sqsubseteq D}$	všechna C jsou D.
${ displaystyle equiv}$	Pojem rovnocennost	${ displaystyle C equiv D}$	C je ekvivalentní D
${ displaystyle { dot {=}}}$	Pojem definice	${ displaystyle C { dot {=}} D}$	C je definováno jako rovno D.
${ displaystyle:}$	Pojem tvrzení	${ displaystyle a: C}$	a je C.
${ displaystyle:}$	Role tvrzení	${ displaystyle (a, b): R}$	a je R související s b

Logika popisu ALC

Prototyp DL Attributivní konceptuální jazyk s doplňky (${ displaystyle { mathcal {ALC}}}$) představili Manfred Schmidt-Schauß a Gert Smolka v roce 1991 a je základem mnoha expresivnějších DL.^[5] Následující definice následují po léčbě v Baader et al.^[5]

Nechat ${ displaystyle N_ {C}}$, ${ displaystyle N_ {R}}$ a ${ displaystyle N_ {O}}$ být (respektive) sady z názvy konceptů (také známý jako atomové koncepty), názvy rolí a individuální jména (také známý jako Jednotlivci, nominální hodnoty nebo předměty). Pak objednaná trojka (${ displaystyle N_ {C}}$, ${ displaystyle N_ {R}}$, ${ displaystyle N_ {O}}$) je podpis.

Koncepty

Sada ${ displaystyle { mathcal {ALC}}}$ koncepty je nejmenší sada taková, že:

• Následující jsou koncepty:
  • ${ displaystyle top}$ (horní je pojem)
  • ${ displaystyle bot}$ (dno je pojem)
  • Každý ${ displaystyle A v N_ {C}}$ (Všechno atomové koncepty jsou koncepty)
• Li ${ displaystyle C}$ a ${ displaystyle D}$ jsou koncepty a ${ displaystyle R v N_ {R}}$ pak jsou následující koncepty:
  • ${ displaystyle C sqcap D}$ (křižovatka dvou koncepty je pojem)
  • ${ displaystyle C sqcup D}$ (spojení dvou koncepty je pojem)
  • ${ displaystyle neg C}$ (doplněk a pojem je pojem)
  • ${ displaystyle for all R.C}$ (univerzální omezení a pojem podle a role je pojem)
  • ${ displaystyle existuje R.C}$ (existenční omezení a pojem podle a role je pojem)

Terminologické axiomy

A obecný pojem začlenění (GCI) má formu ${ displaystyle C sqsubseteq D}$ kde ${ displaystyle C}$ a ${ displaystyle D}$ jsou koncepty. Psát si ${ displaystyle C equiv D}$ když ${ displaystyle C sqsubseteq D}$ a ${ displaystyle D sqsubseteq C}$. A TBox je jakákoli konečná sada GCI.

Asserční axiomy

• A koncepce tvrzení je prohlášení o formuláři ${ displaystyle a: C}$ kde ${ displaystyle a v N_ {O}}$ a C je a pojem.
• A uplatnění role je prohlášení o formuláři ${ displaystyle (a, b): R}$ kde ${ displaystyle a, b v N_ {O}}$ a R je a role.

An Krabice je konečná množina výrokových axiomů.

Znalostní báze

A znalostní báze (KB) je objednaný pár ${ displaystyle ({ mathcal {T}}, { mathcal {A}})}$ pro TBox ${ displaystyle { mathcal {T}}}$ a Krabice ${ displaystyle { mathcal {A}}}$.

Sémantika

The sémantika logiky popisu jsou definovány interpretací pojmů jako sady jednotlivců a rolí jako sady uspořádaných párů jednotlivců. Tito jedinci jsou typicky převzati z dané domény. Sémantika nenatomových konceptů a rolí je pak definována z hlediska atomových konceptů a rolí. To se provádí pomocí rekurzivní definice podobné syntaxi.

Logika popisu ALC

Následující definice následují po léčbě v Baader et al.^[5]

A terminologický výklad ${ displaystyle { mathcal {I}} = ( Delta ^ { mathcal {I}}, cdot ^ { mathcal {I}})}$ přes podpis ${ displaystyle (N_ {C}, N_ {R}, N_ {O})}$ skládá se z

• neprázdná sada ${ displaystyle Delta ^ { mathcal {I}}}$ volal doména
• A interpretační funkce ${ displaystyle cdot ^ { mathcal {I}}}$ že mapy:
  • každý individuální ${ displaystyle a}$ k prvku ${ displaystyle a ^ { mathcal {I}} v Delta ^ { mathcal {I}}}$
  • každý pojem do podskupiny ${ displaystyle Delta ^ { mathcal {I}}}$
  • každý název role do podskupiny ${ displaystyle Delta ^ { mathcal {I}} krát Delta ^ { mathcal {I}}}$

takhle

• ${ displaystyle top ^ { mathcal {I}} = Delta ^ { mathcal {I}}}$
• ${ displaystyle bot ^ { mathcal {I}} = emptyset}$
• ${ displaystyle (C sqcup D) ^ { mathcal {I}} = C ^ { mathcal {I}} pohár D ^ { mathcal {I}}}$ (svaz prostředek disjunkce )
• ${ displaystyle (C sqcap D) ^ { mathcal {I}} = C ^ { mathcal {I}} cap D ^ { mathcal {I}}}$ (průsečík prostředek spojení )
• ${ displaystyle ( neg C) ^ { mathcal {I}} = Delta ^ { mathcal {I}} setminus C ^ { mathcal {I}}}$ (doplněk prostředek negace )
• ${ displaystyle ( forall RC) ^ { mathcal {I}} = {x in Delta ^ { mathcal {I}} | { text {for}} ; { text {every}} ; y, (x, y) v R ^ { mathcal {I}} ; { text {implikuje}} ; y v C ^ { mathcal {I}} }}$
• ${ displaystyle ( existuje RC) ^ { mathcal {I}} = {x v Delta ^ { mathcal {I}} | { text {tam}} ; { text {existuje}} ; y, (x, y) v R ^ { mathcal {I}} ; { text {and}} ; y v C ^ { mathcal {I}} }}$

Definovat ${ displaystyle { mathcal {I}} modely}$ (číst v I drží) jak následuje

TBox

• ${ displaystyle { mathcal {I}} modely C sqsubseteq D}$ kdyby a jen kdyby ${ displaystyle C ^ { mathcal {I}} subseteq D ^ { mathcal {I}}}$
• ${ displaystyle { mathcal {I}} modely { mathcal {T}}}$ kdyby a jen kdyby ${ displaystyle { mathcal {I}} modely Phi}$ pro každého ${ displaystyle Phi in { mathcal {T}}}$

Krabice

• ${ displaystyle { mathcal {I}} modely a: C}$ kdyby a jen kdyby ${ displaystyle a ^ { mathcal {I}} v C ^ { mathcal {I}}}$
• ${ displaystyle { mathcal {I}} modely (a, b): R}$ kdyby a jen kdyby ${ displaystyle (a ^ { mathcal {I}}, b ^ { mathcal {I}}) v R ^ { mathcal {I}}}$
• ${ displaystyle { mathcal {I}} modely { mathcal {A}}}$ kdyby a jen kdyby ${ displaystyle { mathcal {I}} modely phi}$ pro každého ${ displaystyle phi v { mathcal {A}}}$

Znalostní báze

Nechat ${ displaystyle { mathcal {K}} = ({ mathcal {T}}, { mathcal {A}})}$ být znalostní základnou.

• ${ displaystyle { mathcal {I}} modely { mathcal {K}}}$ kdyby a jen kdyby ${ displaystyle { mathcal {I}} modely { mathcal {T}}}$ a ${ displaystyle { mathcal {I}} modely { mathcal {A}}}$

Odvození

Problémy s rozhodováním

Kromě schopnosti formálně popsat pojmy bychom chtěli také použít popis souboru pojmů k položení otázek k popsaným pojmům a instancím. Nejběžnější problémy s rozhodováním jsou základní otázky podobné databázovým dotazům kontrola instance (je konkrétní instance (člen ABox) člen dané koncepce) a kontrola vztahů (platí vztah / role mezi dvěma instancemi, jinými slovy ano A mít majetek b) a další otázky týkající se globální databáze subsumpce (je pojem podmnožinou jiného pojmu) a konzistence konceptu (neexistuje žádný rozpor mezi definicemi nebo řetězcem definic). Čím více operátorů jeden zahrnuje do logiky a čím složitější je TBox (mít cykly, což umožňuje vzájemné zahrnutí jiných než atomových konceptů), obvykle čím vyšší je výpočetní složitost pro každý z těchto problémů (viz Popis Logic Complexity Navigator například).

Vztah s jinými logikami

Logika prvního řádu

Mnoho DL je rozhodnutelné fragmenty z logika prvního řádu (FOL)^[5] a jsou obvykle fragmenty logika dvou proměnných nebo hlídaná logika. Některé DL mají navíc funkce, které nejsou pokryty FOL; to zahrnuje konkrétní domény (například celé číslo nebo řetězce, které lze použít jako rozsahy pro role, jako je hasAge nebo hasName) nebo operátor rolí pro přechodné uzavření této role.^[5]

Logika fuzzy popisu

Fuzzy popis logiky kombinuje fuzzy logika s DL. Protože mnoho konceptů, které jsou potřebné pro inteligentní systémy chybí dobře definované hranice nebo přesně definovaná kritéria členství, k řešení pojmů vágnosti a nepřesnosti je nutná fuzzy logika. To nabízí motivaci ke zobecnění logiky popisu k řešení nepřesných a vágních pojmů.

Modální logika

Logika popisu souvisí s - ale byla vyvinuta nezávisle na -modální logika (ML).^[5] Mnoho - ale ne všechny - DL jsou syntaktické varianty ML.^[5]

Obecně objekt odpovídá a možný svět, koncept odpovídá modálnímu návrhu a kvantifikátor vázaný na roli modálního operátora s touto rolí jako jeho relací přístupnosti.

Operace rolí (jako je složení, inverze atd.) Odpovídají modálním operacím používaným v dynamická logika.^[17]

Příklady

Syntaktické varianty

DL	ML
${ displaystyle { mathcal {ALC}}}$	K.[5]
${ displaystyle { mathcal {SR}}}$	PDL[17]
${ displaystyle { mathcal {FSR}}}$	DPDL (deterministický PDL)[17]
${ displaystyle { mathcal {TSL}} { text {, nebo}} { mathcal {SRI}}}$	Konverzovat-PDL[17]
${ displaystyle { mathcal {FSL}} { text {, nebo}} { mathcal {FSRI}}}$	Konverzovat-DPDL (deterministický PDL)[17]

Časová logika popisu

Logika časového popisu představuje - a umožňuje uvažování - časově závislé koncepty a existuje mnoho různých přístupů k tomuto problému.^[18] Například logiku popisu lze kombinovat s a modální časová logika jako lineární časová logika.

Viz také

• Formální koncepční analýza
• Mříž (objednávka)
• Sémantická parametrizace
• Sémantické uvažování

Reference

Další čtení

• F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P. F. Patel-Schneider: The Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge, Velká Británie, 2003. ISBN  0-521-78176-0
• Ian Horrocks, Ulrike Sattler: Odůvodnění ontologie v logice popisu SHOQ (D), v Sborník ze sedmnácté mezinárodní společné konference o umělé inteligenci, 2001.
• D. Fensel, F. van Harmelen, I. Horrocks, D. McGuinness a P. F. Patel-Schneider: OIL: Infrastruktura ontologie pro sémantický web. IEEE Intelligent Systems, 16 (2): 38-45, 2001.
• Ian Horrocks a Peter F. Patel-Schneider: Generace DAML + OIL. v Proceedings of the 2001 Description Logic Workshop (DL 2001), svazek 49 CEUR <http://ceur-ws.org/ >, strany 30–35, 2001.
• Ian Horrocks, Peter F. Patel-Schneider a Frank van Harmelen: Od SHIQ a RDF po OWL: Tvorba jazyka webové ontologie. Journal of Web Semantics, 1 (1): 7-26, 2003.
• Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter Patel-Schneider a Ulrike Sattler: OWL 2: Další krok pro OWL. Journal of Web Semantics, 6 (4): 309-322, listopad 2008.
• Franz Baader, Ian Horrocks a Ulrike Sattler: Kapitola 3 Popis Logika. Ve Frank van Harmelen, Vladimir Lifschitz a Bruce Porter, redaktoři, Příručka zastoupení znalostí. Elsevier, 2007.
• Alessandro Artale a Enrico Franconi: Časový popis logiky. In Handbook of Temporal Reasoning in Artificial Intelligence, 2005.
• Charta pracovní skupiny pro webovou ontologii (WebONT). W3C, 2003
• World Wide Web Consortium vydává doporučení RDF a OWL. Tisková zpráva. W3C, 2004.
• Charta pracovní skupiny OWL. W3C, 2007.
• OWL 2 propojuje web znalostí s webem dat. Tisková zpráva. W3C, 2009.
• Markus Krötzsch, František Simančík, Ian Horrocks: Popis Logic Primer. VR arXiv:1201.4089. 2012. Úplně první úvod pro čtenáře bez formálního logického pozadí.
• Sebastian Rudolph: Základy logiky popisu. v Reasoning Web: Semantic Technologies for the Web of Data, 7. mezinárodní letní škola, objem 6848 z Přednášky z informatiky, strany 76–136. Springer, 2011. (springerlink )Úvodní text se zaměřením na modelování a formální sémantiku. Jsou tu také diapozitivy.
• Jens Lehmann: DL-Learner: Learning concepts in description logics, Journal of Machine Learning Research, 2009.
• Franz Baader: Popis Logika. v Reasoning Web: Semantic Technologies for Information Systems, 5. mezinárodní letní škola, svazek 5689 přednášek z informatiky, strany 1–39. Springer, 2009. (springerlink ) Úvodní text se zaměřením na uvažování a jazykový design a rozšířený historický přehled.
• Enrico Franconi: Úvod do logiky popisu. Materiály ke kurzu. Fakulta informatiky, Svobodná univerzita v Bolzanu, Itálie, 2002. Prezentace přednášek a mnoho ukazatelů na literaturu, poněkud datovaných.
• Ian Horrocks: Ontologie a sémantický web. Komunikace ACM, 51 (12): 58-67, prosinec 2008. Obecný přehled reprezentace znalostí v technologiích sémantického webu.

externí odkazy

• Popis Logic Complexity Navigator, udržovaný Evgeny Zolinem na Ústav výpočetní techniky
• Seznam důvodů, OWL výzkum na University of Manchester

Důvody

Tam jsou nějací sémantické uvažování které se zabývají OWL a DL. Zde jsou některé z nejpopulárnějších:

• CEL je otevřený zdroj založený na LISP (licence Apache 2.0).
• Cerebra Engine byl komerční argumentační nástroj založený na C ++, získaný v roce 2006 webMethods.
• FaCT ++ je bezplatný open source zdroj C ++.
• KAON2 je bezplatný (pro nekomerční použití) program založený na prostředí Java, který nabízí podporu rychlého uvažování pro OWL ontologie.
• MSPASS je bezplatný open-source program C pro mnoho modelů DL.
• Pelety je duální licencovaný (AGPL a proprietární) komerční argumentace založené na Javě.
• RacerPro Racer Systems byl komerční (bezplatné zkušební verze a licence k výzkumu jsou k dispozici) lisp-based reasoner, dnes existuje jak open source verze RACER od původních vývojářů na Lübeck University využívající licenci BSD 3, tak také komerčně dostupná verze, stále pojmenovaná RacerPro od společnosti Franz Inc.
• Sim-DL je bezplatný open source zdroj založený na prostředí Java pro jazyk ALCHQ. Poskytuje také funkčnost měření podobnosti mezi koncepty. Pro přístup k této funkci lze použít plugin Protégé.
• Poustevník je open-source uvažovač založený na „hyperableau“ kalkulu. Je vyvinut společností University of Oxford.
• Owlready2 je balíček pro ontologicky orientované programování v Krajta. Může načítat ontologie OWL 2.0 jako objekty Pythonu, upravovat je, ukládat a provádět uvažování pomocí Poustevník (zahrnuta). Owlready2 umožňuje transparentní přístup k ontologiím OWL (na rozdíl od obvyklého rozhraní API založeného na prostředí Java).

Redaktoři

• Chráněnec je bezplatný editor ontologií s otevřeným zdrojovým kódem a znalostní báze framework, který může používat DL odůvodňující nabízející rozhraní DIG jako a zadní konec pro kontrolu konzistence.
• PŘEPADNOUT na GitHub, an SOVA prohlížeč / editor, který používá standard webový prohlížeč jako základní uživatelské rozhraní paradigma.

Rozhraní

• DIG rozhraní na SourceForge.net, standardizované rozhraní XML k systémům DLs vyvinuté DL Implementation Group (DIG).
• OWL API na SourceForge.net, a Jáva rozhraní a implementace pro Jazyk webové ontologie, sloužící k reprezentaci Sémantický web ontologie.