Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"formal ontology"”.
-
Human-Intelligence and Machine-Intelligence Decision Governance Formal Ontology
… this deficiency, this research establishes a formal, top level foundational ontology of HI-MI decision governance in parallel with a grounded theory based body of knowledge which forms the theoretical foundation of a systemic HI-MI decision governance framework.</p>
-
An ontological approach to model software quality assurance knowledge domain
… of the developed SQA conceptual model. A formal ontology was implemented using the semantic web open standard OWL language. To avoid contradictory information, the developed ontology was validated for consistency. Clarity and completeness have been evaluated using assessment questionnaire. …
-
Generating Relation Algebras for Qualitative Spatial Reasoning
… a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce …
-
Streams, Structures, Spaces,Scenarios, and Societies (5S): A Formal Digital Library Framework and Its Applications
… complex information systems and therefore demand formal foundations lest development efforts diverge and interoperability suffers. In this dissertation, we propose the fundamental abstractions of Streams, Structures, Spaces, Scenarios, and Societies (5S), which allow us to define digital libraries …
-
Knowledge Based Open Entity Matching
… solution. Such knowledge base is formed by an ontology and a set of entity matching rules suitable to be applied as a reliable equational theory in the context of the Semantic Web. In particular, we are going to prove that relying on the existence of a set of contextual mappings to ease the …
-
ACLRO: An Ontology for the Best Practice in ACLR Rehabilitation
… sharing that offers machine-readable semantic formalization. Even though some applications allow shared data interoperability, they still lack formal machine-readable semantics in ICD9/10 and LOINC. With ontology, the further ability to represent the shared conceptualizations is possible, …
-
Analysis of Environmental Treaty Design: A Data Science Approach
… This relies on a standardised vocabulary or formal ontology for data integration. Accordingly, the thesis builds a proof-of-concept Public International Law Ontology and an NLP pipeline to populate the ontology with data gathered from treaty texts and participation records. Output formats and …
-
On the Provenance of Software Systems: Automating Software Traceability with Knowledge Graph and Large Language Model Synergy
… to the processes that produce them. In terms of Ontology, or, from Ancient Greek, the <em>study of being</em>, the two most basic entities in reality are Continuant and Occurrent, or, roughly, “Artifact” and “Process”. This dissertation posits that for any created artifact, its process of …
-
A black art: Ontology, data, and the Tower of Babel problem
… 2011), resulting in a new type of informational ontology (Iliadis, 2013) the critical analysis of which requires new methods and frameworks. Currently, there is a lack of literature addressing the theoretical, social, and critical dimensions of such informational ontologies, applied computational …