Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies

Nophadol Jekjantuk, Jeff Z. Pan, Panos Alexopoulos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

When developing ontologies, knowledge engineers and domain experts often use predicates that are vague, i.e., predicates that lack clear applicability conditions and boundaries such as High, Expert or Bad. In previous works, we have shown how such predicates within ontologies can hamper the latter's shareability and meaning explicitness and we have proposed Vagueness Ontology (VO), an OWL metaontology for representing vagueness-aware ontologies, i.e., ontologies whose (vague) elements are annotated by explicit descriptions of the nature and characteristics of their vagueness. A limitation of VO is that it does not model the way vagueness and its characteristics propagate when defining more complex OWL axioms (such as conjunctive classes), neither does it enforce any kind of vagueness-related consistency. For that, in this paper, we expand VO by means of formal inference rules and constraints that model the way vagueness descriptions of complex ontology elements can be automatically derived. More importantly, we enable the efficient execution of these rules by means of a novel meta-reasoning framework.

Original languageEnglish
Title of host publicationProceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages222-229
Number of pages8
ISBN (Electronic)9781509006618
DOIs
Publication statusPublished - 22 Mar 2016
Event10th IEEE International Conference on Semantic Computing, ICSC 2016 - Laguna Hills, United States
Duration: 3 Feb 20165 Feb 2016

Conference

Conference10th IEEE International Conference on Semantic Computing, ICSC 2016
CountryUnited States
CityLaguna Hills
Period3/02/165/02/16

Fingerprint

Ontology
Engineers

Keywords

  • metamodeling Reasoning
  • ontological Metamodeling
  • vague Concept
  • vagueness Ontology
  • ontologies
  • OWL
  • Iris
  • context
  • companies
  • cognition
  • electronic mail

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Information Systems

Cite this

Jekjantuk, N., Pan, J. Z., & Alexopoulos, P. (2016). Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies. In Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016 (pp. 222-229). [7439337] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICSC.2016.47

Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies. / Jekjantuk, Nophadol; Pan, Jeff Z.; Alexopoulos, Panos.

Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 222-229 7439337.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Jekjantuk, N, Pan, JZ & Alexopoulos, P 2016, Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies. in Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016., 7439337, Institute of Electrical and Electronics Engineers Inc., pp. 222-229, 10th IEEE International Conference on Semantic Computing, ICSC 2016, Laguna Hills, United States, 3/02/16. https://doi.org/10.1109/ICSC.2016.47
Jekjantuk N, Pan JZ, Alexopoulos P. Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies. In Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 222-229. 7439337 https://doi.org/10.1109/ICSC.2016.47
Jekjantuk, Nophadol ; Pan, Jeff Z. ; Alexopoulos, Panos. / Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies. Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 222-229
@inproceedings{08ea2fe37cee4c6284e3c47a013afe18,
title = "Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies",
abstract = "When developing ontologies, knowledge engineers and domain experts often use predicates that are vague, i.e., predicates that lack clear applicability conditions and boundaries such as High, Expert or Bad. In previous works, we have shown how such predicates within ontologies can hamper the latter's shareability and meaning explicitness and we have proposed Vagueness Ontology (VO), an OWL metaontology for representing vagueness-aware ontologies, i.e., ontologies whose (vague) elements are annotated by explicit descriptions of the nature and characteristics of their vagueness. A limitation of VO is that it does not model the way vagueness and its characteristics propagate when defining more complex OWL axioms (such as conjunctive classes), neither does it enforce any kind of vagueness-related consistency. For that, in this paper, we expand VO by means of formal inference rules and constraints that model the way vagueness descriptions of complex ontology elements can be automatically derived. More importantly, we enable the efficient execution of these rules by means of a novel meta-reasoning framework.",
keywords = "metamodeling Reasoning, ontological Metamodeling, vague Concept, vagueness Ontology, ontologies, OWL, Iris, context, companies, cognition, electronic mail",
author = "Nophadol Jekjantuk and Pan, {Jeff Z.} and Panos Alexopoulos",
year = "2016",
month = "3",
day = "22",
doi = "10.1109/ICSC.2016.47",
language = "English",
pages = "222--229",
booktitle = "Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Towards a Meta-Reasoning Framework for Reasoning about Vagueness in OWL Ontologies

AU - Jekjantuk, Nophadol

AU - Pan, Jeff Z.

AU - Alexopoulos, Panos

PY - 2016/3/22

Y1 - 2016/3/22

N2 - When developing ontologies, knowledge engineers and domain experts often use predicates that are vague, i.e., predicates that lack clear applicability conditions and boundaries such as High, Expert or Bad. In previous works, we have shown how such predicates within ontologies can hamper the latter's shareability and meaning explicitness and we have proposed Vagueness Ontology (VO), an OWL metaontology for representing vagueness-aware ontologies, i.e., ontologies whose (vague) elements are annotated by explicit descriptions of the nature and characteristics of their vagueness. A limitation of VO is that it does not model the way vagueness and its characteristics propagate when defining more complex OWL axioms (such as conjunctive classes), neither does it enforce any kind of vagueness-related consistency. For that, in this paper, we expand VO by means of formal inference rules and constraints that model the way vagueness descriptions of complex ontology elements can be automatically derived. More importantly, we enable the efficient execution of these rules by means of a novel meta-reasoning framework.

AB - When developing ontologies, knowledge engineers and domain experts often use predicates that are vague, i.e., predicates that lack clear applicability conditions and boundaries such as High, Expert or Bad. In previous works, we have shown how such predicates within ontologies can hamper the latter's shareability and meaning explicitness and we have proposed Vagueness Ontology (VO), an OWL metaontology for representing vagueness-aware ontologies, i.e., ontologies whose (vague) elements are annotated by explicit descriptions of the nature and characteristics of their vagueness. A limitation of VO is that it does not model the way vagueness and its characteristics propagate when defining more complex OWL axioms (such as conjunctive classes), neither does it enforce any kind of vagueness-related consistency. For that, in this paper, we expand VO by means of formal inference rules and constraints that model the way vagueness descriptions of complex ontology elements can be automatically derived. More importantly, we enable the efficient execution of these rules by means of a novel meta-reasoning framework.

KW - metamodeling Reasoning

KW - ontological Metamodeling

KW - vague Concept

KW - vagueness Ontology

KW - ontologies

KW - OWL

KW - Iris

KW - context

KW - companies

KW - cognition

KW - electronic mail

UR - http://www.scopus.com/inward/record.url?scp=84968860815&partnerID=8YFLogxK

U2 - 10.1109/ICSC.2016.47

DO - 10.1109/ICSC.2016.47

M3 - Conference contribution

SP - 222

EP - 229

BT - Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -