A Visual Formalism for BFO-Based Ontologies: Difference between revisions

From NCOR Wiki
Jump to navigationJump to search
No edit summary
mNo edit summary
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
   
   
José M. Parente de Oliveira
'''José M. Parente de Oliveira'''
   
   
Standard graphical representations of ontologies are flawed because the representation of non-hierarchical relations lacks appropriate support. In particular, the graphical representation of specialization and whole-part, as well as quality and dependency relationships are poorly represented. In consequence, graphical representations fail to provide the needed synoptic view of how the represented elements are interrelated.
Standard graphical representations of ontologies are flawed because the representation of non-hierarchical relations lacks appropriate support. In particular, the graphical representation of specialization and whole-part, as well as quality and dependency relationships are poorly represented. In consequence, graphical representations fail to provide the needed synoptic view of how the represented elements are interrelated.
I will show how we can use the Higraph visual formalism [[1],[2]] to represent domain ontologies based on BFO in a way that will provide visual representations that are both clearer and more concise. More specifically, the idea is to pursue ways to represent in a more concise and intuitive way the following aspects of BFO ontologies:
 
I will show how we can use the Higraph visual formalism [1],[2] to represent domain ontologies based on BFO in a way that will provide visual representations that are both clearer and more concise. More specifically, the idea is to pursue ways to represent in a more concise and intuitive way the following aspects of BFO ontologies:


Generalization/ specialization relationships
Generalization/ specialization relationships
Line 14: Line 15:


[1] Harel, D. [http://www.dcs.ed.ac.uk/home/kxt/on_visual_formalisms.pdf On Visual Formalisms]
[1] Harel, D. [http://www.dcs.ed.ac.uk/home/kxt/on_visual_formalisms.pdf On Visual Formalisms]
[2] Power, J. and Tourlas, K. [http://link.springer.com/chapter/10.1007/3-540-36576-1_25 Abstraction in Reasoning about Higraph-Based Systems]​
[2] Power, J. and Tourlas, K. [http://link.springer.com/chapter/10.1007/3-540-36576-1_25 Abstraction in Reasoning about Higraph-Based Systems]​


Dr Parente will be visiting UB until March 2017 on a sabbatical fellowship. He is Associate Professor of Computer Science and Deputy Dean for Graduate Education and Research at the Brazilian Aeronautics Institute of Technology (ITA). His research is in the areas of command and control (C2) and situation awareness, knowledge representation, ontology engineering, semantic computing and the Semantic Web. He has also worked on cancer data mining, ontology-based tutoring, and e-government.
-------------
 
'''Dr Parente''' will be visiting UB until March 2017 on a sabbatical fellowship. He is Associate Professor of Computer Science and Deputy Dean for Graduate Education and Research at the Brazilian Aeronautics Institute of Technology (ITA). His research is in the areas of command and control (C2) and situation awareness, knowledge representation, ontology engineering, semantic computing and the Semantic Web. He has also worked on cancer data mining, ontology-based tutoring, and e-government.

Latest revision as of 12:35, 21 April 2016

José M. Parente de Oliveira

Standard graphical representations of ontologies are flawed because the representation of non-hierarchical relations lacks appropriate support. In particular, the graphical representation of specialization and whole-part, as well as quality and dependency relationships are poorly represented. In consequence, graphical representations fail to provide the needed synoptic view of how the represented elements are interrelated.

I will show how we can use the Higraph visual formalism [1],[2] to represent domain ontologies based on BFO in a way that will provide visual representations that are both clearer and more concise. More specifically, the idea is to pursue ways to represent in a more concise and intuitive way the following aspects of BFO ontologies:

Generalization/ specialization relationships Whole-part relationships Qualities Dependency relationships among entities Occurrent and related entities

Future steps will include the exploration of using Higraph to support visual inference over content using BFO-conformant ontologies.

[1] Harel, D. On Visual Formalisms

[2] Power, J. and Tourlas, K. Abstraction in Reasoning about Higraph-Based Systems


Dr Parente will be visiting UB until March 2017 on a sabbatical fellowship. He is Associate Professor of Computer Science and Deputy Dean for Graduate Education and Research at the Brazilian Aeronautics Institute of Technology (ITA). His research is in the areas of command and control (C2) and situation awareness, knowledge representation, ontology engineering, semantic computing and the Semantic Web. He has also worked on cancer data mining, ontology-based tutoring, and e-government.