Using automatically generated students' clickable conceptual models for e-tutoring

Supplementary Proceedings of the 16th International Conference on Conceptual Structures (ICCS'08). Toulouse, France, July 7-11, 2008.Also published online by CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)Computer methods for evaluating student's knowledge have traditionally been based on Multiple Choice Questions (MCQs) or llin- the-blank exercises, which do not provide a reliable basis upon which to assess student's underlying misconceptions. Because of this lack, we have devised and implemented a procedure for automatically deriving clickable students' conceptual models from their free-text answers. A student's conceptual model can be de ned as a network of interrelated concepts associated with a con dence value that indicates how well each student knows a concept. Several knowledge representation formats are used to show the generated conceptual model to the student. Furthermore, students can click on the concepts to get more information about them. 22 English Studies students are taking advantage of this new resource to review their Pragmatics course. Initial results show that they have found it very useful and claim that it is a good support for their review of the subject.This work has been sponsored by Spanish Ministry of Science and Technology, project number TIN2007-64718

The transaction pattern through automating TrAM

Transaction Agent Modelling (TrAM) has demonstrated how the early requirements of complex enterprise systems can be captured and described in a lucid yet rigorous way. Using Geerts and McCarthy’s REA (Resource-Events-Agents) model as its basis, the TrAM process manages to capture the ‘qualitative’ dimensions of business transactions and business processes. A key part of the process is automated model-checking, which CG has revealed to be beneficial in this regard. It enables models to retain the high-level business concepts yet providing a formal structure at that high-level that is lacking in Use Cases. Using a conceptual catalogue informed by transactions, we illustrate the automation of a transaction pattern from which further specialisations impart a tested specification for system implementation, which we envisage as a multi-agent system in order to reflect the dynamic world of business activity. It would furthermore be able to interoperate across business domains as they would share the generalised TM as a pattern.</p

Interim research assessment 2003-2005 - Computer Science

This report primarily serves as a source of information for the 2007 Interim Research Assessment Committee for Computer Science at the three technical universities in the Netherlands. The report also provides information for others interested in our research activities

Linked Data Entity Summarization

On the Web, the amount of structured and Linked Data about entities is constantly growing. Descriptions of single entities often include thousands of statements and it becomes difficult to comprehend the data, unless a selection of the most relevant facts is provided. This doctoral thesis addresses the problem of Linked Data entity summarization. The contributions involve two entity summarization approaches, a common API for entity summarization, and an approach for entity data fusion

TOTh 2010, Terminology & Ontology: Theories and applications

International audienceAvant proposCette année la conférence a été précédée d’une journée de formation consacrée à la terminologie et l’ontologie, à leurs liens et leurs apports mutuels. L’intérêt qu’a suscité cette journée nous amènera certainement à réitérer l’opération les années suivantes.Le succès de la conférence d’ouverture de notre collègue Frédéric Nef, portant sur l’ontologie prise dans sa dimension philosophique, a montré, s’il en était encore besoin, la richesse d’une approche pluridisciplinaire.Animées par différents présidents, les sessions ont alterné présentations théoriques et démonstrations de systèmes, offrant ainsi l’opportunité à plusieurs industriels de nous parler de leurs projets. L’éventail des sujets abordés, à travers les quatorze présentations retenues (incluant la conférence d’ouverture) réparties sur deux jours, illustre la richesse mais aussi la vitalité de notre communauté : aide à la traduction, thésaurus multilingue, phraséologie, entité nommé, recherche d’information, etc. L’ « actualité » n’était pas oubliée à travers une ontologie des risques financiers.Enfin, les Conférences TOTh sont devenues internationales à partir de cette année avec le français et l’anglais comme langues officielles. Le comité de programme s’est ouvert à de nouveaux membres portant à dix le nombre de pays représentés et à plus de 40% le nombre de personnalités étrangères. Gageons que cette ouverture sera prometteuse.Christophe RochePrésident du Comité Scientifiqu

Advancements in Real-Time Simulation of Power and Energy Systems

Modern power and energy systems are characterized by the wide integration of distributed generation, storage and electric vehicles, adoption of ICT solutions, and interconnection of different energy carriers and consumer engagement, posing new challenges and creating new opportunities. Advanced testing and validation methods are needed to efficiently validate power equipment and controls in the contemporary complex environment and support the transition to a cleaner and sustainable energy system. Real-time hardware-in-the-loop (HIL) simulation has proven to be an effective method for validating and de-risking power system equipment in highly realistic, flexible, and repeatable conditions. Controller hardware-in-the-loop (CHIL) and power hardware-in-the-loop (PHIL) are the two main HIL simulation methods used in industry and academia that contribute to system-level testing enhancement by exploiting the flexibility of digital simulations in testing actual controllers and power equipment. This book addresses recent advances in real-time HIL simulation in several domains (also in new and promising areas), including technique improvements to promote its wider use. It is composed of 14 papers dealing with advances in HIL testing of power electronic converters, power system protection, modeling for real-time digital simulation, co-simulation, geographically distributed HIL, and multiphysics HIL, among other topics

Estudio de metodologías de diseño y desarrollo de ontologías :aplicación a un caso de estudio de evaluación de sitios web en el área de la salud

A principios de los anos 90\2019 comienza un proceso de análisis de buenas prácticas de construcción de ontologías, que tiene como resultado la publicación de metodologías de diseño con diferentes enfoques. El presente trabajo comienza con el estudio de seis metodologías de diseño de ontologías representativas de la evolución de este proceso, con un análisis comparativo que muestra que ninguna de las metodologías cumple, al mismo tiempo, con los siguientes tres requerimientos: (i) Especificar en detalle la actividad de adquisición de conocimiento (ii) Ser suficientemente flexible para dar soporte a la construcción inicial de una ontología y a su evolución posterior, tanto si se trata de una ontología independiente de una aplicación especifica o creada especialmente para ser utilizada por una aplicación particular (iii) Proveer mecanismos de trabajo colaborativo y distribuido. En base a este análisis, se realiza una propuesta de metodología de diseño y desarrollo de ontologías, que se denomina Conceptual Ontology Design, que rescata las mejores prácticas identificadas en las metodologías estudiadas y define estrategias para contemplar estos tres requerimientos. A medida que fue elaborada, esta propuesta fue validada con un caso de estudio de evaluación de sitios web en el área de la salud. Esta realidad plantea el desafío de intentar emitir recomendaciones a los usuarios que consultan documentos de sitios web del dominio de la salud, de acuerdo a aracterísticas de los contenidos de los documentos y a las características de los usuarios que los consultan. Para ello es necesario clasificar estos documentos de acuerdo a diferentes factores de calidad como lo son confianza en la fuente y legibilidad, y tener en cuenta aspectos de los usuarios como nivel académico y rol que cumplen (usuario común, paciente, familiar del paciente, etc.).Cuando un usuario consulta un documento, en base a la evaluación del par [documento, usuario] debe emitirse una recomendación al usuario, que le sugiera en menor o mayor grado la lectura del documento. En este trabajo se construyo una ontología que a través de axiomas y reglas de inferencia hace posible emitir tal recomendación, a la vez que permitió llevar a cabo una validación primaria de la propuesta de metodología de diseño y desarrollo de ontologías