Title :
Contextual approach to reasoning with rules
Author :
Waloszek, Aleksander ; Waloszek, Wojciech
Author_Institution :
Dept. of Electron., Gdansk Univ. of Technol., Gdansk, Poland
Abstract :
In the paper we present a method of reasoning with Horn rules within a contextual framework. We show that by proper use of a structure of contexts we can obtain partial OWA compliance with no necessity of extending the syntax of underlying Description Logics.
Keywords :
Horn clauses; description logic; inference mechanisms; Horn rules; contexts structure; contextual approach; contextual framework; description logics; partial OWA compliance; reasoning; Algebra; Cognition; Context; Context modeling; Couplers; Knowledge based systems; Vocabulary; contexts; description logics; knowledge base; rules;
Conference_Titel :
Cybernetics (CYBCONF), 2015 IEEE 2nd International Conference on
Conference_Location :
Gdynia
Print_ISBN :
978-1-4799-8320-9
DOI :
10.1109/CYBConf.2015.7175914
