A Non-standard Instance Checking for the Description Logic ELH

Suwan Tongphu, Boontawee Suntisrivaraporn

2014

Abstract

In Description Logics (DLs), an instance checking is regarded as one of the most important reasoning services involving individuals. Though the usability of the reasoner has been seemingly proven in many real-life applications, the classified results are merely a binary response, i.e. whether or not a given individual is an instance of a concept. As being a standard reasoning service, unsatisfying one among all sufficient conditions would basically lead to a negative conclusion. This work introduces a new method to enhance the capability of the instance checking in which the degree of membership could be unveiled though sufficient conditions are not completely satisfied. The proposed algorithm is developed based on the adoption of a homomorphism mapping.

Paper Citation

in Harvard Style

Tongphu S. and Suntisrivaraporn B. (2014). A Non-standard Instance Checking for the Description Logic ELH . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 67-74. DOI: 10.5220/0005074900670074

in Bibtex Style

@conference{keod14,
author={Suwan Tongphu and Boontawee Suntisrivaraporn},
title={A Non-standard Instance Checking for the Description Logic ELH},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},
year={2014},
pages={67-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005074900670074},
isbn={978-989-758-049-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - A Non-standard Instance Checking for the Description Logic ELH
SN - 978-989-758-049-9
AU - Tongphu S.
AU - Suntisrivaraporn B.
PY - 2014
SP - 67
EP - 74
DO - 10.5220/0005074900670074