Open AccessPractical TBox Abduction Based on Justification Patterns
Author(s) -
Jianfeng Du,
Hai Wan,
Huaguan Ma
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.10683
Subject(s) - axiom , set (abstract data type) , computer science , mathematics , axiomatic system , theoretical computer science , geometry , programming language