| ชื่อเรื่อง | : | A non-standard instance checking for the description logic ELH |
| นักวิจัย | : | Suwan Tongphu , Boontawee Suntisrivaraporn |
| คำค้น | : | Degree of membership , Description logic , Instance checking , Non-standard reasoner , Similarity measure |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2557 |
| อ้างอิง | : | KEOD 2014 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development. (2014) pp. 67-74 , http://dspace.library.tu.ac.th/handle/3517/7765 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | 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. |
| บรรณานุกรม | : |
Suwan Tongphu , Boontawee Suntisrivaraporn . (2557). A non-standard instance checking for the description logic ELH.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Suwan Tongphu , Boontawee Suntisrivaraporn . 2557. "A non-standard instance checking for the description logic ELH".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Suwan Tongphu , Boontawee Suntisrivaraporn . "A non-standard instance checking for the description logic ELH."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2557. Print. Suwan Tongphu , Boontawee Suntisrivaraporn . A non-standard instance checking for the description logic ELH. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2557.
|
