loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Suwan Tongphu and Boontawee Suntisrivaraporn

Affiliation: Thammasat University, Thailand

Keyword(s): Similarity Measure, Description Logic, Degree of Membership, Instance Checking, Non-standard Reasoner.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Collaboration and e-Services ; e-Business ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Semantic Web ; Soft Computing ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.234.139.149

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 (IC3K 2014) - KEOD; ISBN 978-989-758-049-9; ISSN 2184-3228, SciTePress, pages 67-74. DOI: 10.5220/0005074900670074

@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 (IC3K 2014) - KEOD},
year={2014},
pages={67-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005074900670074},
isbn={978-989-758-049-9},
issn={2184-3228},
}

TY - CONF

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