Abstract
To master large rule sets in ontologies and other logic-based specifications, the ability to divide them into components plays an important role. While a naive approach treats the rule sets as black boxes and composes them via combinators, the relationships between the components are usually so complicated that this black-box approach fails to be useful in many scenarios. Instead, the components should be opened before composition. The paper presents several such gray-box composition techniques, namely fragment-based genericity and extension, inline template expansions, semantic macros, and mixin layers. All approaches help to structure large ontologies and rule-based specifications into fine-grained components, from which they can be built up flexibly.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-136

BibTeX:

@inproceedings{REWERSE-RP-2006-136,
	author = {Uwe Assmann and Jendrik Johannes and Jakob Henriksson and Ilie Savga},
	title = {Composition of Rule Sets and Ontologies},
	booktitle = {Proceedings of Summer School Reasoning Web 2006, Lisbon, Portugal (4th--8th September 2006)},
	year = {2006},
	volume = {4126},
	organization = {REWERSE},
	series = {LNCS},
	pages = {68--92},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-136}
}