Explore chapters and articles related to this topic
An expressive and tractable rule-based description language
Published in Enterprise Information Systems, 2019
Linh Anh Nguyen, Ngoc-Thanh Nguyen
A regular RBox is a set , where is a regular box of RIAs and is a finite set of role assertions. Since it is undecidable whether a context-free semi-Thue system is regular, we assume that a regular RBox is always accompanied by a mapping that associates each with a finite automaton , which recognizes the words derivable from using the regular semi-Thue system corresponding to . It is called the RIA-automaton-specification of .