Work

Visual reasoning about ontologies

Year: 2010

Type: article

Abstract: . We explore a diagrammatic logic suitable for specifying ontologies using a case study. Diagrammatic reasoning is used to establish consequences of the ontology. Introduction. The primary (formal) notations for ontology modelling are symbolic, such as description logics or OWL [2]. The provision of symbolic notations, along with highly efficient reasoning support, facilitates ontology specification, but need not be accessible to the broad range of users. Using diagrammatic notations for reasoning, in addition to specification, can bring benefits. Standard

Source: University of Brighton Repository (University of Brighton)

Authors: John Howse, Gem Stapleton, Ian Oliver

Institutions: University of Brighton, Nokia (Finland)

Language: English

Topic: Semantic Web and Ontologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Engineering and Physical Sciences Research Council

OpenAlex ID: W1499573902

FWCI: 0.553

Cites: 4

Cited by: 2

Related to: 10