218 research outputs found
A mapping from conceptual graphs to formal concept analysis
No full textA straightforward mapping from Conceptual Graphs (CGs)
to Formal Concept Analysis (FCA) is presented. It is shown that the
benefits of FCA can be added to those of CGs, in, for example, formally
reasoning about a system design. In the mapping, a formal attribute
in FCA is formed by combining a CG source concept with its relation.
The corresponding formal object in FCA is the corresponding CG target concept. It is described how a CG, represented by triples of the
form source-concept, relation, target-concept, can be transformed into
a set of binary relations of the form (target-concept, source-concept a
relation) creating a formal context in FCA. An algorithm for the transformation is presented and for which there is a software implementation.
The approach is compared to that of Wille. An example is given of a
simple University Transaction Model (TM) scenario that demonstrates
how FCA can be applied to CGs, combining the power of each in an
integrated and intuitive way
Collaborative Sensemaking of Design-Enabled Urban Innovations:: The MappingDESIGNSCAPES Case
No full textWicked societal problems, such as environmental issues and climatechange, are complex, networked problems involving numerous intertwined issues,no optimal solutions, and a wide range of stakeholders. Cities are problem owners and living labs for finding solutions through design-enabled innovation initiatives. However, to reach collective impact, it is paramount that these initiatives can learn from one another and align efforts through collaborative sensemaking. In the MappingDESIGNSCAPES project, we piloted a participatory collaboration mapping approach for cross-case sensemaking across design-enabled urban innovation initiatives. We used the CommunitySensor methodology for participatory community network mapping together with the Kumu online network visualization tool to help representatives of three urban prototype cases share and collectively make sense of their design lessons learnt. In this second of two papers, we build on the participatory mapping foundation introduced in [1]. We describe the collaborative sensemaking approach used, then present the core collaboration patterns andcommon perspectives that form the sensemaking scaffolding. We show how wecollaboratively made sense by first taking individual perspectives, then makingcommon sense together. An extended discussion puts our findings in a larger context of how an approach like MappingDESIGNSCAPES can be used to move from collaborative sensemaking to collective impact in design-driven urban innovation.Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Design Conceptualization and Communicatio
Formal, Measurable Ontologies for Worldviews
No full textFormal ontology has been used in a variety of projects in the humanities. Most interesting from our perspective is the work carried out to develop an ontology of Wittgenstein’s Nachlass since we want to take the first steps toward an ontology for the work of Arthur Norman Prior. We go through some of Prior’s early attempts to describe the logic involved in reformed theology. In The Analogy of Faith (1940), we suggest that Prior developed a knowledge graph of what he called “the logic of the bible.” We call this the Interpretative Community Graph and suggest that it can be adapted to a Prior Community Graph and used to develop a formal ontology of A.N. Prior’s Nachlass. We argue that this graph suggests a deeper conceptual structure concerning object properties for the ontology than the one provided by the Wittgenstein ontology. Based on this, we demonstrate how this deeper conceptual structure can be used to derive conclusions concerning philosophical views affirmed by Prior and the philosophers relevant to his work. Finally, we suggest that the project of providing a formal ontology for A.N. Prior could be used to develop formal ontologies for theology and systems of beliefs.</p
In-Close2, a high performance formal concept miner
No full textThis paper presents a program, called In-Close2, that is a high performance realisation of the Close-by-One (CbO) algorithm. The design of In-Close2 is discussed and some new optimisation and data preprocessing techniques are presented. The performance of In-Close2 is favourably compared with another contemporary CbO variant called FCbO. An application of In-Close2 is given, using minimum support to reduce the size and complexity of a large formal context. Based on this application, an analysis of gene expression data is presented. In-Close2 can be downloaded from Sourceforge
The transaction concept in enterprise systems
No full textMany enterprises risk business transactions based on information systems that are incomplete or misleading, given that 80-85% of all corporate information remains outside of the processing scope of such systems. Computer
technology nonetheless continues to become more and more predominant, illustrated by SAP A.G. recognising that 65-70% of the world‟s transactions are run on their technology thus “have to do a good job”. Using SAP as the illustrative
case study, the benefits of Service-Oriented Architecture (SOA) and associated technologies are explored. Together with Business Process Management / Modelling (BPM), social media, Business Intelligence (BI), semantic, multi-agent
systems (MAS) and other technologies, enterprise architecture frameworks, principles such as Moore‟s core-context, and conceptual structures, a practical
roadmap is identified to TOA (Transaction-Oriented Architecture (TOA). TOA picks up POA (Process-Oriented Architecture) along the way, and is predicated
on the Transaction Concept (TC). The TC builds upon work in Resources, Events, Agents (REA) and the Transaction Graph (and Lattice). The TC is the essence of enterprise systems that allow SAP, their competitors, customers,suppliers and partners to do an ever better job with the world‟s transactions
Aligning the teaching of FCA with Existing Module Learning Outcomes
No full textCareful design of teaching and assessment activities is required to properly align a topic to the intended learning outcomes of a module. This paper describes and evaluates a four year project to align the teaching of FCA with the learning outcomes of a final-year undergraduate Smart Applications module at Sheffield Hallam University. Biggs' constructive alignment, incorporating an adapted version of Yin's case study research method, was used in an iterative process to analyse and modify teaching and assessment activities. to align them more closely with the intended learning outcomes. The process involved examining written conclusions made by students from carrying out FCA case study assignments, to draw cross-case conclusions about the learning outcomes achieved and how they deviated from the prescribed ones. These cross-case conclusions were used to feed back into the design of learning and assessment activities for the next delivery of the module. After three cycles, the learning outcomes achieved closely matched the prescribed learning outcomes of the module. A fourth cycle without changes confirmed this
Aligning the topic of FCA with existing module learning outcomes
No full textAlthough Formal Concept Analysis is worthy of study on
computing courses, it is not always possible or practical to dedicate a whole module to it. It may, however, fit into an existing module as a topic but require some careful design of teaching and assessment activities to properly align it to the intended learning outcomes of the module. This paper describes and evaluates a three year project to align the teaching and assessment of FCA with the learning outcomes of a final-year undergraduate Smart Applications module at Sheffield Hallam University. Biggs' constructive alignment was used, incorporating an adapted version of Yin's case study research method, in an iterative
process; progressively modifying teaching and assessment activities to align them more closely with the prescribed learning outcomes. The process involved examining conclusions made by students, from carrying out
FCA case study assignments, to draw cross-case conclusions about the learning outcomes achieved, and how they deviated from the prescribed ones. These cross-case conclusions were used to feed back into the design of learning and assessment activities for the next delivery of the module.
After three cycles, the learning outcomes achieved closely matched the prescribed learning outcomes of the module
REA analysis of SAP HCM; some initial findings
No full textThis paper explores further the claim that the Transaction-Oriented Architecture (TOA) based on the principles of Resources, Events, Agents (REA) can enhance Enterprise Resource Planning (ERP) systems by providing a principled theoretical basis that can underpin ERP business process implementations. We provide details of some of our initial findings of the REA/TOA analysis which we carried out on the SAP Human Capital Management (HCM) module. Given that SAP is recognized as the dominant ERP system with over 50% of the market share, this technology is viewed as the representative case study technology for exploring the theory of REA in actual ERP systems. In particular O’Leary’s and Dunn et al.’s works are expanded upon, substantiating O’Leary’s findings that SAP was found to be consistent with REA in its database, semantic and structure orientations. Using SAP’s HCM module as the exemplar, two notable discoveries are made. These are namely (i) identifying that several anomalies exist in the underlying data model, and (ii) that there are many more REA entities than previously discovered by Dunn et al. Through the SAP HCM exemplar it is shown that REA adds value to modelling business processes in ERP systems
Validation of the name Festuca ×polovina (Poaceae)
No full textA natural hybridization in grasses (Poaceae) frequently occurs in the area where the distribution ranges of parental species overlap (e.g. Smith 1942, Tzvelev 1976, Soltis & Soltis 2009, Nobis 2013, Nobis et al. 2017, Wölk & Röser 2017). Such phenomenon can be observed also in the genus Festuca Linnaeus (1753: 73) between Festuca ovina Linnaeus (1753: 73) and Festuca polesica Zapałowicz (1904: 303) that distribution ranges overlap. The hybrid individuals are morphologically intermediate between those of the parental species and can be easily distinguished by leaf anatomy (Bednarska 2009). In 2009, the first author of the present paper described this hybrid as a nothospecies Festuca ×polovina Bednarska (2009: 32), providing a protologue in Latin with a detailed description of the taxon, indication of diagnostic characters, and a list of herbaria where the holotype and isotypes are stored. However, no direct citation of a particular herbarium specimen was provided for the nomenclatural type as required by Art. 40 of the ICN (McNeill et al. 2012), and hence the name F. ×polovina was not validly published.</jats:p
Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
No full textAlong with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations
- …
