SciTePress - Affiliation Profile

Affiliation

Select a Subject
Refine Ontology Subject

University of Toronto, Canada

Context (please use complete words only)

Field

Sort by

19 Papers

Analyzing Software Application Integration into Evolving Enterprise Business Processes using Process Architectures

Topics: Business Modeling and Business Process Management; Business-It Allignment

Authors: Zia Babar ¹ and Eric Yu ²

Affiliations: ¹ Faculty of Information, University of Toronto, Toronto, Canada , ² Faculty of Information, University of Toronto, Toronto, Canada, Department of Computer Science, University of Toronto, Toronto, Canada

Digital Object Identifier: 10.5220/0009422107780786

Proceedings of ICEIS 2020, ISBN: 978-989-758-423-7

Quick Abstract

Many organizations face frequent, ongoing challenges as they attempt to integrate software applications into their business processes, particularly as enterprises continuously evolve, resulting in shifting requirements for these applications. The hiBPM framework supports modelling multiple interconnected processes involved in the integration of software applications into enterprise business processes so that alternative process-level configurations are compared and analysed. To support the evolving design capabilities and flexibilities of process execution, we elaborate on “Design-Use” and “Plan-Execute” relationships between processes. Design-Use relationships represent the exchange of a tool, capability or artifact that can be used repeatedly by other enterprise business processes for attaining some process or enterprise objectives. Plan-Execute relationships represent the exchange of information than enables process activities execution to accomplish enterprise objectives while simultaneously reducing the space of possible process execution possibilities. We applied the hiBPM framework at a large retail organization to illustrate how the organization could better integrate data analytics applications into their existing business and IT processes.

Verifying and Mapping the Mereotopology of Upper-Level Ontologies

Topics: Ontology Engineering; Knowledge Representation; Ontology Matching and Alignment; Ontology Sharing and Reuse; Knowledge Engineering

Authors: Lydia Silva Muñoz and Michael Grüninger

Affiliation: University of Toronto, Canada

Digital Object Identifier: 10.5220/0006052100310042

Proceedings of KEOD 2016/IC3K, ISBN: 978-989-758-203-5

Quick Abstract

Upper-level ontologies provide an account of the most basic, domain-independent, existing entities, such as time, space, objects, and processes. Ontology verification is the process by which a theory is checked to rule out unintended models, and possibly characterize missing intended ones. In this paper, we verify the core characterization of mereotopology of the Suggested Upper Merged Ontology (SUMO), and the mereology of the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE), while relating their axiomatizations via ontology mapping. As a result, we propose the correction and addition of some axioms to the analyzed theories which eliminate unintended models and characterize missing ones. In addition, we show by formal means which is the relation existing between the axiomatization of mereology in both upper-level ontologies, and make available a modular representation in first-order logic of the SUMO characterization of mereotopology.

Related Ontology Subjects/Areas/Topics (12)

Artificial Intelligence	Knowledge Engineering and Ontology Development	Ontology Engineering
Data Engineering	Knowledge Representation	Ontology Matching and Alignment
Enterprise Information Systems	Knowledge-Based Systems	Ontology Sharing and Reuse
Information Systems Analysis and Specification	Ontologies and the Semantic Web	Symbolic Systems

Eudaimonia in Human Factors Research and Practice - Foundations and Conceptual Framework Applied to Older Adult Populations

Topic: Inclusive Design

Authors: Katie Seaborn ¹ , Peter Pennefather ¹ and Deborah I. Fels ²

Affiliations: ¹ University of Toronto, Canada , ² University of Toronto and Ryerson University, Canada

Digital Object Identifier: 10.5220/0005473003130318

Proceedings of SocialICT 2015/ICT4AgeingWell, ISBN: 978-989-758-102-1

Quick Abstract

Well-being/quality of life has emerged as a strand of inquiry in human factors research that has expanded the field’s reach to matters beyond fit, functionality and usability. This effort has been spearheaded by “hedonomics,” a human factors conceptualization of well-being that reflects the philosophical notion of hedonia, traditionally defined as pleasure. However, recent work in the psychology of well-being has shown that hedonia constitutes only one facet of well-being. In light of this, the concept of “eudaimonics” as a complement to hedonomics is introduced. First, these concepts are positioned relative to their counterparts in philosophy: where hedonomics is characterized by pleasure and avoidance of pain (hedonia), eudaimonics is characterized by flourishing and personal excellence (eudaimonia). Following this, a working conceptual framework for eudaimonics that is informed by the psychological literature is presented. An expansion of the hedonomics model of design priority hierarchy is offered. Applications to the domains of ageing well and technologies for older populations are proposed. Directions for future work, including the adoption and modification of psychology instruments for human factors research, is discussed.

Merging the DOLCE and PSL Upper Ontologies

Topics: Ontology Engineering; Knowledge Representation; Ontology Matching and Alignment; Ontology Sharing and Reuse

Authors: Carmen Chui and Michael Grüninger

Affiliation: University of Toronto, Canada

Digital Object Identifier: 10.5220/0005027100160026

Proceedings of KEOD 2014/IC3K, ISBN: 978-989-758-049-9

Quick Abstract

In this paper, we examine the relationships between the axiomatization of participation in two upper ontologies, the Process Specification Language (PSL) and the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE).We discuss the obstacles faced to formalize the relationships between these ontologies and provide an overview of the methodology undertaken to merge the ontologies together. We introduce new ontologies that serve to bridge the PSL and DOLCE ontologies together to allow us to specify the mappings between them. We illustrate how ontology verification is used to show faithful interpretations between the two upper ontologies.

Related Ontology Subjects/Areas/Topics (12)

Artificial Intelligence	Knowledge Engineering and Ontology Development	Ontology Engineering
Data Engineering	Knowledge Representation	Ontology Matching and Alignment
Enterprise Information Systems	Knowledge-Based Systems	Ontology Sharing and Reuse
Information Systems Analysis and Specification	Ontologies and the Semantic Web	Symbolic Systems

VISUALIZATION OF NONLINEAR CLASSIFICATION MODELS IN NEUROIMAGING - Signed Sensitivity Maps

Topics: Pattern Recognition; Medical Signal Acquisition, Analysis and Processing; Medical Image Detection, Acquisition, Analysis and Processing; Image Analysis and Processing

Authors: Peter M. Rasmussen ¹ , Tanya Schmah ² , Kristoffer H. Madsen ³ , Torben E. Lund ⁴ , Grigori Yourganov ⁵ , Stephen C. Strother ⁵ and Lars K. Hansen ⁶

Affiliations: ¹ Technical University of Denmark and Aarhus University Hospital, Denmark , ² University of Toronto, Canada , ³ Technical University of Denmark and Copenhagen University Hospital Hvidovre, Denmark , ⁴ Aarhus University Hospital, Denmark , ⁵ Baycrest Centre for Geriatric Care and University of Toronto, Canada , ⁶ Technical University of Denmark, Denmark

Digital Object Identifier: 10.5220/0003785602540263

Proceedings of BIOSIGNALS 2012/BIOSTEC, ISBN: 978-989-8425-89-8

Quick Abstract

Classification models are becoming increasing popular tools in the analysis of neuroimaging data sets. Besides obtaining good prediction accuracy, a competing goal is to interpret how the classifier works. From a neuroscientific perspective, we are interested in the brain pattern reflecting the underlying neural encoding of an experiment defining multiple brain states. In this relation there is a great desire for the researcher to generate brain maps, that highlight brain locations of importance to the classifiers decisions. Based on sensitivity analysis, we develop further procedures for model visualization. Specifically we focus on the generation of summary maps of a nonlinear classifier, that reveal how the classifier works in different parts of the input domain. Each of the maps includes sign information, unlike earlier related methods. The sign information allows the researcher to assess in which direction the individual locations influence the classification. We illustrate the visualization procedure on a real data from a simple functional magnetic resonance imaging experiment.

Related Ontology Subjects/Areas/Topics (16)

Applications and Services	Health Engineering and Technology Applications	Neurotechnology, Electronics and Informatics
Artificial Intelligence	Human-Computer Interaction	Pattern Recognition
Biomedical Engineering	Medical Image Detection, Acquisition, Analysis and Processing	Physiological Computing Systems
Biomedical Signal Processing	Methodologies and Methods	Sensor Networks
Computer Vision, Visualization and Computer Graphics	Neurocomputing	Soft Computing
Data Manipulation

HEALTH INFORMATION RETRIEVAL AND USAGE AMONG THE ELDERLY - Potential use of the Internet and Personal Health Records in Health Awareness and Accountability

Topics: Cognitive Informatics; ICT, Ageing and Disability; e-Health for Public Health

Author: Dennis Cheung

Affiliation: University of Toronto, Canada

Digital Object Identifier: 10.5220/0003144702050212

Proceedings of HEALTHINF 2011/BIOSTEC, ISBN: 978-989-8425-34-8

Quick Abstract

As North America anticipates an increase in the number of individuals expected to retire and fall into the group of “older adults,” questions are raised regarding Canada’s healthcare system and its ability to deal with this surge in consumption of resources. As the population ages, so too will the demands placed on the current medical work force thus creating a shortage of medical practitioners available. By utilizing information technologies such as personal health records (PHRs) and the internet, it is believed that this can leverage some of the burden away from Canada’s healthcare system. By creating awareness and accountability among this aging population through the use of ICT (information communication technologies), cultural and behavioural changes in how this population consumes healthcare resources may be altered. Not only are behaviours being changed due to ICT, but the way in which consumers are utilizing resources and knowledge are also shifting. As the medical community is shifting away from the illness model to that of a more patient centered one, it is important to understand the value of ICT solutions in the prevention and continued well being of a patient in an economy where resources are scarce.

Related Ontology Subjects/Areas/Topics (5)

Biomedical Engineering		e-Health for Public Health		ICT, Ageing and Disability
Cognitive Informatics		Health Information Systems

FAST EDGE-GUIDED INTERPOLATION OF COLOR IMAGES

Topic: Image and Video Processing

Authors: Amin Behnad and Konstantinos N. Plataniotis

Affiliation: University of Toronto, Canada

Digital Object Identifier: 10.5220/0002933401030107

Proceedings of SIGMAP 2010/ICETE, ISBN: 978-989-8425-19-5

Quick Abstract

We propose a fast adaptive image interpolation method for still color images which is suitable for real-time applications. The proposed interpolation scheme combines the speed of fast linear image interpolators with advantages of an edge-guided interpolator. A fast and high performance image interpolation technique is proposed to interpolate the luminance channel of low-resolution color images. Since the human visual system is less sensitive to the chrominance channels than the luminance channel, we interpolate the former with the fast method of bicubic interpolation. This hybrid technique achieves high PSNR and superior visual quality by preserving edge structures well while maintaining a low computational complexity. As verified by the simulation results, interpolation artifacts (e.g. blurring, ringing and jaggies) plaguing linear interpolators are noticeably reduced with our method.

Related Ontology Subjects/Areas/Topics (4)

Image and Video Processing, Compression and Segmentation		Multimedia Signal Processing		Telecommunications
Multimedia

RESOLVING ARTIFACT DESCRIPTION AMBIGUITIES DURING SOFTWARE DESIGN USING SEMIOTIC AGENT MODELLING

Authors: Eric Yu and Daniel Gross

Affiliation: University of Toronto, Canada

Digital Object Identifier: 10.5220/0003270200770086

Proceedings of ICISO 2010, ISBN: 978-989-8425-26-3

Quick Abstract

For software designers to effectively collaborate, they must share an understanding of how software design artifacts contribute to the execution of software processes (the artifact’s operational meaning). However, during design, artifact descriptions often lack sufficient detail to unequivocally establish operational meaning. This is because during design, artifact descriptions are initially usually first-cut, and are then successively refined to include additional design details, until the operational meaning of artifacts can be unequivocally demonstrated. Ensuring shared meaning in larger projects is particularly difficult because of the plethora of interrelated artifacts designers deal with, and because the design details in descriptions of different artifacts can vary greatly. In this paper we argue that a semiotic meaning analysis supports clarifying the operational meaning of artifacts during software design, and can help in identifying whether and in what way artifact descriptions must be further elaborated. We further argue that clarifying the operational meaning of artifacts is closely intertwined with design decision-making. Adapting an existing semiotic agent modelling approach, we propose an approach to capturing the evolving operational meaning of artifacts during software design and decision processes, and illustrate the approach with examples taken from a large design project at an insurance company.

THEOREM PROVING IN THE ONTOLOGY LIFECYCLE

Topics: Knowledge Representation; Ontology Engineering; Applications and Case-Studies

Authors: Megan Katsumi and Michael Grüninger

Affiliation: University of Toronto, Canada

Digital Object Identifier: 10.5220/0003076400370049

Proceedings of KEOD 2010/IC3K, ISBN: 978-989-8425-29-4

Quick Abstract

In this paper we present a methodology for the verification of first-order logic ontologies, and provide a lifecycle in which itmay be implemented to develop a correct ontology. We discuss the need for a methodology to address development issues and illustrate the way in which this characterization of the ontology lifecycle supports the design and deployment of ontologies within software applications. Theorem proving plays a critical role in the specification of requirements, design, and verification of the ontology. We illustrate the application of theorem proving in the lifecycle using examples from the PSL Ontology.

Related Ontology Subjects/Areas/Topics (11)

Applications and Case-studies	Information Systems Analysis and Specification	Ontologies and the Semantic Web
Artificial Intelligence	Knowledge Engineering and Ontology Development	Ontology Engineering
Data Engineering	Knowledge Representation	Symbolic Systems
Enterprise Information Systems	Knowledge-Based Systems

ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES

Topics: Knowledge Representation; Knowledge Acquisition; Ontology Engineering; Ontology Sharing and Reuse

Authors: Ali Hashemi and Michael Gruninger

Affiliation: University of Toronto, Canada

Digital Object Identifier: 10.5220/0002299201920199

Proceedings of KEOD 2009/IC3K, ISBN: 978-989-674-012-2

Quick Abstract

Many real world problems require a language at least as expressive as first order logic, yet there exist many barriers to the generation of first-order ontologies. One of the biggest hurdles is the specification of axioms that capture the intended semantics of a user’s concepts. This paper presents an ontology design algorithm enabled by modular ontology repositories that consist of theories organized into disjoint hierarchies, each of which is a set of nonconservative extensions. The ontology design algorithm provides axiomatizations of relations by eliciting intended models from the users, identifying the strongest theories in the repository that are satisfied by the intended models, and incorporating user feedback to verify the proposed set of axioms. This approach emphasizes the communication of semantics rather than syntax via concrete examples, allowing users to express intuitions about their domains without extensive background in the intricacies of formal languages.

Related Ontology Subjects/Areas/Topics (12)

Artificial Intelligence	Knowledge Acquisition	Ontologies and the Semantic Web
Data Engineering	Knowledge Engineering and Ontology Development	Ontology Engineering
Enterprise Information Systems	Knowledge Representation	Ontology Sharing and Reuse
Information Systems Analysis and Specification	Knowledge-Based Systems	Symbolic Systems

Topic(s):

Filter listed results, by

Publication date

From:

To:

Author

Locate Author in list below

Data pager
Data pager
1 2 3 4 5 Page 1 of 5, items 1 to 10 of 44.

Add Author(s) to filter:

Michael Gruninger (4)

Eric Yu (2)

V. Kumar Murty (2)

Guangwu Xu (1)

A. Saadatpoor (1)

Amin Behnad (1)

Michael McAllister (1)

W. M. Wonham (1)

Zvonko G. Vranesic (1)

Peter M. Rasmussen (1)

Conference

Locate Conference in list below

Data pager
Data pager
1 2 Page 1 of 2, items 1 to 10 of 12.

Add Conference(s) to filter:

KEOD(4)

SECRYPT(3)

ICSOFT(2)

ICEIS(2)

SIGMAP(1)

SocialICT(1)

VISAPP(1)

ICINCO(1)

ICISO(1)

BIOSIGNALS(1)

Title:
ISBN:
Year:
Acronym:
Subject:

Title:
Author:
Affiliation:
Subject:

Name:
Affiliation:
Country:
Conference:
Subject:

Name:
Country:
Subject: