Web Ontology Languages: Theory and practice, will they ever meet?

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F06%3A00013747" target="_blank" >RIV/61989100:27240/06:00013747 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Web Ontology Languages: Theory and practice, will they ever meet?

Original language description

The current state of Semantic Web ontology languages is briefly described, and the ontology languages are characterised from the logical point of view. Generally, these languages are based on the first-order predicate logic enriched with ad hoc higher-order constructs wherever needed. We argue that in the Semantic Web we need a rich language with transparent semantics, in order to build up metadata on the conceptual level of the Semantic Web architecture. A powerful logical tool of Transparent Intensional Logic (TIL) is described, which provides a logico-semantic framework for a fine-grained knowledge representation and conceptual analysis. TIL is based on a rich ontology of entities organised in an infinite ramified hierarchy of types. The conceptualrole of TIL in building ontologies is described, and we show that such a system can serve as a unifying logical framework.

Czech name

Web Ontology Languages: Theory and practice, will they ever meet?

Czech description

The current state of Semantic Web ontology languages is briefly described, and the ontology languages are characterised from the logical point of view. Generally, these languages are based on the first-order predicate logic enriched with ad hoc higher-order constructs wherever needed. We argue that in the Semantic Web we need a rich language with transparent semantics, in order to build up metadata on the conceptual level of the Semantic Web architecture. A powerful logical tool of Transparent Intensional Logic (TIL) is described, which provides a logico-semantic framework for a fine-grained knowledge representation and conceptual analysis. TIL is based on a rich ontology of entities organised in an infinite ramified hierarchy of types. The conceptualrole of TIL in building ontologies is described, and we show that such a system can serve as a unifying logical framework.

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/1ET101940420" target="_blank" >1ET101940420: Logic and Artificial Intelligence in the area of Multiagent Systems</a><br>

Continuities

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

Publication year

2006

Confidentiality

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

Article name in the collection

Information Modelling and Knowledge Bases XVII

ISBN

1-58603-591-6

ISSN

—

e-ISSN

—

Number of pages

18

Pages from-to

20-37

Publisher name

IOS Press

Place of publication

Amsterodam

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—