A Logical Framework for Modularity of Ontologies.
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion of modularity needs to take the semantics of ontologies and their implications into account. We propose a logic-based notion of modularity that allows the modeler to specify the external signature of their ontology, whose symbols are assumed to be defined in some other ontology. We define two res...Expand abstract
- Host title:
- Publication date:
- Local pid:
- Deposit date:
- Copyright date:
If you are the owner of this record, you can report an update to it here: Report update to this record