Sökning: "ontology engineering"

Visar resultat 11 - 15 av 47 avhandlingar innehållade orden ontology engineering.

1. 11. Design of Assured and Efficient Safety-critical Systems

   Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

3. 12. Ontology Integration with Non-Violation Check and Context Extraction

   Författare :Dan Wu; Anne Håkansson; Carl-Gustaf Jansson; Paul Johannesson; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ontology matching and integration; semantic and pragmatic matching; semantic techniques; context; ontology and rules; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Sammanfattning : Matching and integrating ontologies has been a desirable technique in areas such as data fusion, knowledge integration, the Semantic Web and the development of advanced services in distributed system. Unfortunately, the heterogeneities of ontologies cause big obstacles in the development of this technique. LÄS MER

4. 13. Dealing with Missing Mappings and Structure in a Network of Ontologies

   Författare :Qiang Liu; Patrick Lambrix; Nahid Shahmehri; Henrik Eriksson; He Tan; Heiner Stuckenschmidt; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ontology; Ontology Engineering; Ontology Alignment; Ontology Debugging; Information technology; Informationsteknik;

   Sammanfattning : With the popularity of the World Wide Web, a large amount of data is generated and made available through the Internet everyday. To integrate and query this huge amount of heterogeneous data, the vision of Semantic Web has been recognized as a possible solution. One key technology for the Semantic Web is ontologies. LÄS MER

5. 14. An Ontological and Reasoning Approach to System of Systems

   Författare :Ludvig Knöös Franzén; Petter Krus; Ingo Staack; Christopher Jouannet; Kristian Amadori; Gerrit Muller; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : System-of-Systems (SoS) are all around us and are becoming more common in today’s highly interconnected world. Systems are connected with other systems and have strong dependencies with their operational environments. This leads to an increased level of complexity and risk during product development. LÄS MER

7. 15. User involvement in housing recovery : Cases from Haiyan affected areas in the Philippines

   Författare :Ivette Arroyo; Institutionen för arkitektur och byggd miljö; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; User involvement; housing recovery; Capability Approach; Capability space; evolutionary housing; Critical Realism; vulnerability; resilience; causal mechanisms; opportunities; choices; capacities; agency; typhoon Haiyan; social structures; National Housing Authority; Gawad Kalinga; We Effect; types of involvement; levels of involvement;

   Sammanfattning : The aim of this study is to develop a better understanding of the relation between housing recovery and user involvement from a capability perspective. The thesis studies housing recovery in areas affected by typhoon Haiyan, which struck the Philippines on 8th November 2013. LÄS MER