Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws

By Freitas, Fred; Candeias, Zacharias et al. | Journal of Theoretical and Applied Electronic Commerce Research, April 2011 | Go to article overview

Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws


Freitas, Fred, Candeias, Zacharias, Stuckenschmidt, Heiner, Journal of Theoretical and Applied Electronic Commerce Research


Abstract

Official documents, and particularly legal ones like law codes, often contain ambiguities and/or inconsistencies, due to linguistic problems like polysemy, as well as ontological problems like underspecification, disagreements and/or false agreements. Such problems can be identified by formalizing the terminology of a domain in terms of an ontology. We show this phenomenon in a particular domain, the definition of different classes of vehicles. Defining accurately these different vehicle types shed light on some of these semantic deficiencies present in two Brazilian legal codes responsible for defining vehicles' categories in an unambiguous manner for many purposes, e.g. tax calculations, and, more importantly, to make e-government systems interoperate while taking laws into account in a Semantic Web scenario. In this work, we define a framework linking the linguistic and conceptual problems to semantic deficiencies and show how these deficiencies were identified during the vehicles' ontology construction.

Keywords: Ontology-based analysis of texts, Semantic deficiencies, Vehicles, E-government, Law, Ontology engineering

(ProQuest: ... denotes formulae omitted.)

1 Introduction

It is quite common, even routine, that people have different accounts about a text they have read or even a dialogue they have had. The ambiguities, inconsistencies and other semantic problems arise in readings or talks due to a number of reasons, which are studied in depth by many different branches of knowledge, ranging from human sciences like Philosophy and Linguistics to exact sciences like Mathematical Logics and Artificial Intelligence [20]. The main reason for these misinterpretations on human communication, however, seems to lie in the very nature of natural languages: they emerged as a result of a long - indeed, never lasting - constructive communication process. The process per se is rather a solution than a problem, nonetheless, the different interpretations of terms, phrases, intentions and meanings conveyed in written or spoken communication do cause harmful misunderstandings. Those are due to the fact that natural languages are not the outcome from a formal process. While formal languages are composed of formal syntaxes - that regulate expressions which are valid in the employed language - related to accurate semantics - with which interlocutors and readers can clearly disambiguate among expressions' different interpretations -, in natural languages two interlocutors expect to share a same interpretation about single phrases and entire texts, without relying on any sort of formal semantics, understood by both of them. Their expectations, unfortunately, are not always fulfilled.

In order to avoid the same problem to happen in a higher scale in computer communication, semantic technologies, and particularly the ones related to the Semantic Web and its ontologies [1], have proven useful for many government related applications and prototypes, such as service configuration and automatic service connection among many others. This is possible because the Semantic Web is based on ontologies, which, in practical words, stands for a detailed conceptualization of a domain and its concepts, relations, constraints and axioms. These specifications must be defined in an unambiguous manner using formal logic. On the other hand, official documents, and particularly legal ones like law codes, often contain semantic deficiencies that are not realized by their authors. The most common among them are ambiguities and inconsistencies ought to linguistic problems like polysemy (i.e., one word with multiple senses), as well as underspecifications and inconsistencies. In this work, we sketch a detailed framework of these deficiencies and show how they were identified during ontology construction. These deficiencies are certainly a source of integration problems and confusion during their usage, when the intended meanings can differ depending upon the stakeholder. …

The rest of this article is only available to active members of Questia

Sign up now for a free, 1-day trial and receive full access to:

  • Questia's entire collection
  • Automatic bibliography creation
  • More helpful research tools like notes, citations, and highlights
  • Ad-free environment

Already a member? Log in now.

Notes for this article

Add a new note
If you are trying to select text to create highlights or citations, remember that you must now click or tap on the first word, and then click or tap on the last word.
One moment ...
Default project is now your active project.
Project items

Items saved from this article

This article has been saved
Highlights (0)
Some of your highlights are legacy items.

Highlights saved before July 30, 2012 will not be displayed on their respective source pages.

You can easily re-create the highlights by opening the book page or article, selecting the text, and clicking “Highlight.”

Citations (0)
Some of your citations are legacy items.

Any citation created before July 30, 2012 will labeled as a “Cited page.” New citations will be saved as cited passages, pages or articles.

We also added the ability to view new citations from your projects or the book or article where you created them.

Notes (0)
Bookmarks (0)

You have no saved items from this article

Project items include:
  • Saved book/article
  • Highlights
  • Quotes/citations
  • Notes
  • Bookmarks
Notes
Cite this article

Cited article

Style
Citations are available only to our active members.
Sign up now to cite pages or passages in MLA, APA and Chicago citation styles.

(Einhorn, 1992, p. 25)

(Einhorn 25)

1

1. Lois J. Einhorn, Abraham Lincoln, the Orator: Penetrating the Lincoln Legend (Westport, CT: Greenwood Press, 1992), 25, http://www.questia.com/read/27419298.

Cited article

Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws
Settings

Settings

Typeface
Text size Smaller Larger Reset View mode
Search within

Search within this article

Look up

Look up a word

  • Dictionary
  • Thesaurus
Please submit a word or phrase above.
Print this page

Print this page

Why can't I print more than one page at a time?

Full screen

matching results for page

Cited passage

Style
Citations are available only to our active members.
Sign up now to cite pages or passages in MLA, APA and Chicago citation styles.

"Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences." (Einhorn, 1992, p. 25).

"Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences." (Einhorn 25)

"Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences."1

1. Lois J. Einhorn, Abraham Lincoln, the Orator: Penetrating the Lincoln Legend (Westport, CT: Greenwood Press, 1992), 25, http://www.questia.com/read/27419298.

Cited passage

Welcome to the new Questia Reader

The Questia Reader has been updated to provide you with an even better online reading experience.  It is now 100% Responsive, which means you can read our books and articles on any sized device you wish.  All of your favorite tools like notes, highlights, and citations are still here, but the way you select text has been updated to be easier to use, especially on touchscreen devices.  Here's how:

1. Click or tap the first word you want to select.
2. Click or tap the last word you want to select.

OK, got it!

Thanks for trying Questia!

Please continue trying out our research tools, but please note, full functionality is available only to our active members.

Your work will be lost once you leave this Web page.

For full access in an ad-free environment, sign up now for a FREE, 1-day trial.

Already a member? Log in now.