Ontology as a logic of intensions

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F11%3A86076681" target="_blank" >RIV/61989100:27240/11:86076681 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.3233/978-1-60750-690-4-1" target="_blank" >http://dx.doi.org/10.3233/978-1-60750-690-4-1</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/978-1-60750-690-4-1" target="_blank" >10.3233/978-1-60750-690-4-1</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Ontology as a logic of intensions

Popis výsledku v původním jazyce

We view the content of ontology via a logic of intensions. This is due to the fact that particular intensions like properties, roles, attributes and propositions can stand in mutual necessary relations which should be registered in the ontology of a given domain, unlike some contingent facts. The latter are a subject of updates and are recorded in a knowledge-base state. Thus we examine (higher-order) properties of intensions like being necessarily reflexive or irreflexive, etc., mutual relations between intensions like being incompatible, being a requisite, being complementary, transitivity, and so like. We also define two kinds of entailment relation between propositions, viz. mere entailment and presupposition. Finally, we show that higher-order properties of propositions trigger necessary integrity constraints that should also be included in the ontology. As the logic of intensions we vote for Transparent Intensional Logic (TIL).

Název v anglickém jazyce

Ontology as a logic of intensions

Popis výsledku anglicky

We view the content of ontology via a logic of intensions. This is due to the fact that particular intensions like properties, roles, attributes and propositions can stand in mutual necessary relations which should be registered in the ontology of a given domain, unlike some contingent facts. The latter are a subject of updates and are recorded in a knowledge-base state. Thus we examine (higher-order) properties of intensions like being necessarily reflexive or irreflexive, etc., mutual relations between intensions like being incompatible, being a requisite, being complementary, transitivity, and so like. We also define two kinds of entailment relation between propositions, viz. mere entailment and presupposition. Finally, we show that higher-order properties of propositions trigger necessary integrity constraints that should also be included in the ontology. As the logic of intensions we vote for Transparent Intensional Logic (TIL).

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2011

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Frontiers in Artificial Intelligence and Applications. Volume 225

ISBN

978-1-60750-689-8

ISSN

0922-6389

e-ISSN

—

Počet stran výsledku

20

Strana od-do

1-20

Název nakladatele

IOS Press

Místo vydání

Amsterodam

Místo konání akce

Jyväskylä

Datum konání akce

31. 5. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—