Consistency and provenance in rule processing
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Hi-index | 0.00 |
With the development of Semantic Web technologies, ontology inconsistencies is an important focus in ontology engineering. This paper presents a linear reduction non-classical reasoning model, in which syntactic selection functions are used to handle concept relevance. A linear reduction reasoning algorithm is given and verified the effectiveness by simulation experiments at the end.