Abstract
We propose the use of annotations as a way to flexibly enrich a domain of interest with information concerning different contexts of use for its elements. We provide a formal model of annotation in the framework of typed graphs, in which the presence of annotations is reified through nodes and edges of specific types, relating nodes from different domains. This allows the flexible activation and de-activation of annotations, as well as the addition of several annotations from different domains on the same element. We show that annotations give rise to a category, where pushouts are the basic construct for the composition of annotation-related processes. We prove some properties of annotated graphs and discuss examples drawn from several fields.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
