Titlebook: Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data; First China Conferen Huajun Chen,Heng Ji,Tong Ruan Confer

使厌恶

Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data978-981-10-3168-7Series ISSN 1865-0929 Series E-ISSN 1865-0937

AMOR

countenance

Communications in Computer and Information Sciencehttp://image.papertrans.cn/k/image/543935.jpg

abreast

A Tableau-Based Forgetting in ALCQore expressive description logics, such as . and ., is largely unexplored. In this paper, we develop a decidable, sound, and complete tableau-based algorithm to implement the forgetting-based reasoning. Our tableau algorithm is technically feasibly extended to explore the forgetting in more expressive ontology languages.

使服水土

勉励

https://doi.org/10.1007/978-981-10-3168-7Knowledge representation; Knowledge engineering; Knowledge graph; Information extraction; Data mining; Se

巩固

ERUPT

acolyte

宽敞