Reasoning-Supported Quality Assurance for Knowledge Bases

The increasing application of ontology reuse and automated knowledge acquisition tools in ontology engineering brings about a shift of development efforts from knowledge modeling towards quality assurance. Despite the high practical importance, there has been a substantial lack of support for ensuring semantic accuracy and conciseness. In this thesis, we make a significant step forward in ontology engineering by developing a support for two such essential quality assurance activities

Discrete Event Systems: Models and Applications; Proceedings of an IIASA Conference, Sopron, Hungary, August 3-7, 1987

Work in discrete event systems has just begun. There is a great deal of activity now, and much enthusiasm. There is considerable diversity reflecting differences in the intellectual formation of workers in the field and in the applications that guide their effort. This diversity is manifested in a proliferation of DEM formalisms. Some of the formalisms are essentially different. Some of the "new" formalisms are reinventions of existing formalisms presented in new terms. These "duplications" reveal both the new domains of intended application as well as the difficulty in keeping up with work that is published in journals on computer science, communications, signal processing, automatic control, and mathematical systems theory - to name the main disciplines with active research programs in discrete event systems. The first eight papers deal with models at the logical level, the next four are at the temporal level and the last six are at the stochastic level. Of these eighteen papers, three focus on manufacturing, four on communication networks, one on digital signal processing, the remaining ten papers address methodological issues ranging from simulation to computational complexity of some synthesis problems. The authors have made good efforts to make their contributions self-contained and to provide a representative bibliography. The volume should therefore be both accessible and useful to those who are just getting interested in discrete event systems

NASA RECON: Course Development, Administration, and Evaluation

The R and D activities addressing the development, administration, and evaluation of a set of transportable, college-level courses to educate science and engineering students in the effective use of automated scientific and technical information storage and retrieval systems, and, in particular, in the use of the NASA RECON system, are discussed. The long-range scope and objectives of these contracted activities are overviewed and the progress which has been made toward these objectives during FY 1983-1984 is highlighted. In addition, the results of a survey of 237 colleges and universities addressing course needs are presented

“Very unhappy at two thousand feet” – Towards a Framework for Analysing Pilot Language Use in Airline Accidents

国際基督教大学2020年

Studies related to the process of program development

The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications

Hybrid approaches based on computational intelligence and semantic web for distributed situation and context awareness

2011 - 2012The research work focuses on Situation Awareness and Context Awareness topics. Specifically, Situation Awareness involves being aware of what is happening in the vicinity to understand how information, events, and one’s own actions will impact goals and objectives, both immediately and in the near future. Thus, Situation Awareness is especially important in application domains where the information flow can be quite high and poor decisions making may lead to serious consequences. On the other hand Context Awareness is considered a process to support user applications to adapt interfaces, tailor the set of application-relevant data, increase the precision of information retrieval, discover services, make the user interaction implicit, or build smart environments. Despite being slightly different, Situation and Context Awareness involve common problems such as: the lack of a support for the acquisition and aggregation of dynamic environmental information from the field (i.e. sensors, cameras, etc.); the lack of formal approaches to knowledge representation (i.e. contexts, concepts, relations, situations, etc.) and processing (reasoning, classification, retrieval, discovery, etc.); the lack of automated and distributed systems, with considerable computing power, to support the reasoning on a huge quantity of knowledge, extracted by sensor data. So, the thesis researches new approaches for distributed Context and Situation Awareness and proposes to apply them in order to achieve some related research objectives such as knowledge representation, semantic reasoning, pattern recognition and information retrieval. The research work starts from the study and analysis of state of art in terms of techniques, technologies, tools and systems to support Context/Situation Awareness. The main aim is to develop a new contribution in this field by integrating techniques deriving from the fields of Semantic Web, Soft Computing and Computational Intelligence. From an architectural point of view, several frameworks are going to be defined according to the multi-agent paradigm. Furthermore, some preliminary experimental results have been obtained in some application domains such as Airport Security, Traffic Management, Smart Grids and Healthcare. Finally, future challenges is going to the following directions: Semantic Modeling of Fuzzy Control, Temporal Issues, Automatically Ontology Elicitation, Extension to other Application Domains and More Experiments. [edited by author]XI n.s

Porównawcza analiza korpusowa angielskiego i polskiego specjalistycznego słownictwa jeździeckiego z zakresu ujeżdżania i terningu koni

Niniejsza rozprawa doktorska jest analizą angielskiego i polskiego słownictwa jeździeckiego z zakresu ujeżdżenia i treningu koni przeprowadzoną z zastosowaniem porównawczego korpusu tekstów. Wpisuje się ona w nurt badań języków specjalistycznych, którym dotąd poświęcano niewiele uwagi w językoznawstwie i powiązanych dziedzinach. Specjalistyczny język jeździecki, którego jądro stanowi badane słownictwo, wymaga zarówno teoretycznej (badania), jak i praktycznej (leksykografia) pracy językoznawczej, szczególnie w Polsce, gdzie poświęcono mu jak dotąd pojedyncze artykuły oraz nieaktualny już słownik. Jest to wysoce niewystarczające z uwagi na rosnącą popularność jeździectwa jako sportu i rekreacji w Polsce i na świecie. Niniejsza praca ma stanowić przyczynek do poprawy tego stanu. W opisanej sytuacji wstępne oczekiwania mają charakter ogólny: celem jest formalna i semantyczna charakterystyka dwóch zestawów słownictwa (angielskiego i polskiego) pozyskanych z wiarygodnych źródeł w celu odkrycia zawartego w nim językowego obrazu przedmiotowej dziedziny. Następnie badane jest występowanie terminów w korpusie złożonym odpowiednio z angielskich i polskich tekstów z zakresu ujeżdżenia i treningu koni. Każdy z dwóch podkorpusów podzielony jest dodatkowo na dwie części według rozróżnienia ważnego dla danego języka: podkorpus angielski zawiera część dotyczącą jeździectwa klasycznego (angielskiego) oraz jeździectwa w stylu western (amerykańskiego), zaś podkorpus polski – część oryginalną oraz złożoną z tłumaczeń. Pozwala to na porównanie występowania słownictwa w zależności od obszarów językowo-kulturowych oraz weryfikację jakości i aktualności źródeł słownictwa w kontekście planowanego projektu leksykograficznego, do którego wprowadzeniem teoretycznym ma być niniejsza praca. Rozprawa składa się z czterech rozdziałów teoretycznych oraz dwóch badawczych. Rozdział 1 przedstawia historię badań języków specjalistycznych, a rozdział 2 opisuje współczesne funkcje tych języków. Rozdział 3 przybliża pojęcie języka specjalistycznego, omawiając jego nazwy stosowane w językoznawstwie, jego stosunek do języka ogólnego, powiązane pojęcia wiedzy i specjalisty oraz typologie języków specjalistycznych. Rozdział 4 przedstawia badania języków specjalistycznych podejmowane przez szereg powiązanych dyscyplin: językoznawstwo, terminologię, dydaktykę, leksykografię, translatorykę i planowanie językowe. Rozdział 5 stanowi bezpośrednie wprowadzenie do badań, opisując rozwój przedmiotowej dziedziny specjalistycznej, tj. jeździectwa, oraz jej stan obecny, z naciskiem na grupę użytkowników. Rozdział 6 zawiera właściwe badanie podzielone na etapy: wytyczenie zakresu tematycznego i utworzenie dwóch zestawów słownictwa, ich wstępną formalną i semantyczną charakterystykę, uformowanie korpusu, badanie występowania terminów w korpusie za pomocą oprogramowania WordSmith 5.0 oraz analizę frekwencyjną, formalną i semantyczną wyników. Przeprowadzone badanie wykazuje znaczną zależność występowania słownictwa od obszaru kulturowego, reprezentowanego przez style jeździeckie i języki narodowe. Angielski podkorpus jeździectwa klasycznego zawiera więcej terminów niż podkorpus jeździectwa westernowego, co odzwierciedla pozajęzykową wiedzę o tradycji i charakterze obu tych stylów. Z kolei znaczna część terminów polskich jest nieobecna w tekstach, potwierdzając przewidywane niedostatki jednego z wykorzystanych źródeł słownictwa oraz zasadność planowanego projektu leksykograficznego. Podkorpus polskich tłumaczeń wykazuje wyższe nasycenie słownictwem niż podkorpus oryginalny, sugerując różnicę jakościową między zagranicznym a polskim piśmiennictwem jeździeckim przy jednoczesnej wysokiej jakości przekładów. Niniejsza rozprawa stanowi zatem kolejny dowód na powiązanie języków specjalistycznych z ich dziedzinami, a tym samym na pożyteczność z jednej strony opisowych badań językoznawczych przed praktycznymi pracami terminologiczno-leksykograficznymi, z drugiej zaś uwzględniania wiedzy pozajęzykowej i opisu pojęć w badaniach językoznawczych

A hybrid e-learning framework: Process-based, semantically-enriched and service-oriented

Despite the recent innovations in e-Learning, much development is needed to ensure better learning experience for everyone and bridge the research gap in the current state of the art e-Learning artefacts. Contemporary e-learning artefacts possess various limitations as follows. First, they offer inadequate variations of adaptivity, since their recommendations are limited to e-learning resources, peers or communities. Second, they are often overwhelmed with technology at the expense of proper pedagogy and learning theories underpinning e-learning practices. Third, they do not comprehensively capture the e-learning experiences as their focus shifts to e-learning activities instead of e-learning processes. In reality, learning is a complex process that includes various activities and interactions between different roles to achieve certain gaols in a continuously evolving environment. Fourth, they tend more towards legacy systems and lack the agility and flexibility in their structure and design. To respond to the above limitations, this research aims at investigating the effectiveness of combining three advanced technologies (i.e., Business Process Modelling and Enactment, Semantics and Service Oriented Computing – SOC–) with learning pedagogy in order to enhance the e-learner experience. The key design artefact of this research is the development of the HeLPS e-Learning Framework – Hybrid e-Learning Framework that is Process-based, Semantically-enriched and Service Oriented-enabled. In this framework, a generic e-learning process has been developed bottom-up based on surveying a wide range of e-learning models (i.e., practical artefacts) and their underpinning pedagogies/concepts (i.e., theories); and then forming a generic e-learning process. Furthermore, an e-Learning Meta-Model has been developed in order to capture the semantics of e-learning domain and its processes. Such processes have been formally modelled and dynamically enacted using a service-oriented enabled architecture. This framework has been evaluated using a concern-based evaluation employing both static and dynamic approaches. The HeLPS e-Learning Framework along with its components have been evaluated by applying a data-driven approach and artificially-constructed case study to check its effectiveness in capturing the semantics, enriching e-learning processes and deriving services that can enhance the e-learner experience. Results revealed the effectiveness of combining the above-mentioned technologies in order to enhance the e-learner experience. Also, further research directions have been suggested.This research contributes to enhancing the e-learner experience by making the e-learning artefacts driven by pedagogy and informed by the latest technologies. One major novel contribution of this research is the introduction of a layered architectural framework (i.e., HeLPS) that combines business process modelling and enactment, semantics and SOC together. Another novel contribution is adopting the process-based approach in e-learning domain through: identifying these processes and developing a generic business process model from a set of related e-learning business process models that have the same goals and associated objectives. A third key contribution is the development of the e-Learning Meta-Model, which captures a high-abstract view of learning domain and encapsulates various domain rules using the Semantic Web Rule Language. Additional contribution is promoting the utilisation of Service-Orientation in e-learning through developing a semantically-enriched approach to identify and discover web services from e-learning business process models. Fifth, e-Learner Experience Model (eLEM) and e-Learning Capability Maturity Model (eLCMM) have been developed, where the former aims at identifying and quantifying the e-learner experience and the latter represents a well-defined evolutionary plateau towards achieving a mature e-learning process from a technological perspective. Both models have been combined with a new developed data-driven Validation and Verification Model to develop a Concern-based Evaluation Approach for e-Learning artefacts, which is considered as another contribution