Rules and Reasoning by Paul Fodor & Marco Montali & Diego Calvanese & Dumitru Roman

Author:Paul Fodor & Marco Montali & Diego Calvanese & Dumitru Roman
Language: eng
Format: epub
ISBN: 9783030310950
Publisher: Springer International Publishing

1.1 Running Example

We shall use the following example DL ontology throughout this paper to illustrate the mapping. represents the ontology schema, are the actual data and are integrity constraints placed on the ontology. All the corresponding notions will be explained in Sect. 2.

In the example, we declare an asset and specify that it has to have an author and it may have a last editor. This generic ontology is restricted by integrity constraints for a system working with vocabularies, which are kinds of assets. The constraints specify the same cardinalities of both author and last editor as , but require their values to be users of the system.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.