Open AccessOntology Materialization by Abstraction Refinement in Horn SHOIF
Author(s) -
Birte Glimm,
Yevgeny Kazakov,
Trung-Kien Tran
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.10691
Subject(s) - computer science , horn clause , abstraction , completeness (order theory) , ontology , french horn , description logic , set (abstract data type) , extension (predicate logic) , programming language , theoretical computer science , web ontology language , artificial intelligence , semantic web , logic programming , mathematics , psychology , mathematical analysis , pedagogy , philosophy , epistemology