We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Abstract. OWL is a recommended language for publishing and sharing ontologies on the Semantic Web. To manage the ontologies, several OWL data management systems have been proposed....
Myung-Jae Park, Jihyun Lee, Chun-Hee Lee, Jiexi Li...
Our research and development activities in digital libraries raised relevant features in supporting Web information integration. Underlain by an in house multi-agent based architec...
Tarcisio Lima, Amit P. Sheth, Naveen Ashish, Mukes...
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...