Transforming UNL graphs in OWL representations

01/13/2022
by   David Rouquet, et al.
0

Extracting formal knowledge (ontologies) from natural language is a challenge that can benefit from a (semi-) formal linguistic representation of texts, at the semantic level. We propose to achieve such a representation by implementing the Universal Networking Language (UNL) specifications on top of RDF. Thus, the meaning of a statement in any language will be soundly expressed as a RDF-UNL graph that constitutes a middle ground between natural language and formal knowledge. In particular, we show that RDF-UNL graphs can support content extraction using generic SHACL rules and that reasoning on the extracted facts allows detecting incoherence in the original texts. This approach is experimented in the UNseL project that aims at extracting ontological representations from system requirements/specifications in order to check that they are consistent, complete and unambiguous. Our RDF-UNL implementation and all code for the working examples of this paper are publicly available under the CeCILL-B license at https://gitlab.tetras-libre.fr/unl/rdf-unl

READ FULL TEXT

page 1

page 12

research
06/08/2020

Towards an Argument Mining Pipeline Transforming Texts to Argument Graphs

This paper targets the automated extraction of components of argumentati...
research
06/08/2011

Towards OWL-based Knowledge Representation in Petrology

This paper presents our work on development of OWL-driven systems for fo...
research
06/15/2017

Extracting Formal Models from Normative Texts

We are concerned with the analysis of normative texts - documents based ...
research
01/15/2018

Algebraic Specifications of Wayfinding Using Cognitive Map

This paper outlines the formal representation of the environment in whic...
research
05/16/2022

Natural Language Specifications in Proof Assistants

Interactive proof assistants are computer programs carefully constructed...
research
02/11/2022

NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications

In large-scale embedded system development, requirement and test specifi...
research
10/08/2022

BLAB Reporter: Automated journalism covering the Blue Amazon

This demo paper introduces the BLAB Reporter, a robot-journalist coverin...

Please sign up or login with your details

Forgot password? Click here to reset