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.