Filters








67,754 Hits in 4.2 sec

Usability Issues in Description Logic Knowledge Base Completion [chapter]

Franz Baader, Barış Sertkaya
2009 Lecture Notes in Computer Science  
In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the assertional  ...  This approach, called knowledge base completion, was based on an extension of attribute exploration to the case of partial contexts.  ...  In Section 4, we address the usability issues mentioned above.  ... 
doi:10.1007/978-3-642-01815-2_1 fatcat:ovietjdulzglxgmiwwnf6szrea

Ontology Engineering – The DOGMA Approach [chapter]

Mustafa Jarrar, Robert Meersman
2008 Lecture Notes in Computer Science  
We show how specification languages (such as ORM, UML, EER, and OWL) can be effectively (re)used in ontology engineering. 5 The uniqueness rule in ORM is equivalent to 0:1 cardinality restriction.  ...  (notation: ' '), it can be verbalized as "each book must have at most one ISBN". 6 The mandatory rule in ORM is equivalent to 1-m cardinality restriction.  ...  We are in debt to all present and former colleagues in STARLab for their comments, discussion, and suggestions on the earlier version of this work.  ... 
doi:10.1007/978-3-540-89784-2_2 fatcat:hiaishqfqrerleqmxs4f54rxo4

Feasibility Evaluation of Integrating UsabilityEngineering Issues in a Design for Multi-XCollaborative Framework

Stefano Filippi
2011 Intelligent Information Management  
considering the integration of usability issues in their design tools, methods, and processes.  ...  The research described in this paper aims at evaluating the feasibility of the integration of two new usability methods, the design for innovative usability -DFIU -, and the integrated method for usability  ...  the people in charge of generating the use case diagrams, etc. • Knowledge base of analogies, metaphors, and logical methods: this collects some analogies and metaphors [18] [19] [20] [21] [22] , together  ... 
doi:10.4236/iim.2011.31004 fatcat:wpmdtovuxrczxlen62ozdnqgw4

Reconciling users' needs and formal requirements: issues in developing a reusable ontology for medicine

A.L. Rector, P.E. Zanstra, W.D. Solomon, J.E. Rogers, R. Baud, W. Ceusters, W. Claassen, J. Kirby, J.-M. Rodrigues, A. Rossi Mori, E.J. Van der Haring, J. Wagner
1998 IEEE Transactions on Information Technology in Biomedicine  
That the expressivity of the description logic must include support for transitive relations despite the computational cost, and that this computational cost is acceptable in practice.  ...  The authors argue that these features will be necessary, though by no means sufficient, for the development of any large re-usable ontology for medicine.  ...  Acknowledgements This work supported in part by grants A2012 and HC2018 from the Healthcare Telematics Programme of the European Commission.  ... 
doi:10.1109/4233.737578 pmid:10719533 fatcat:42jrkgiaabep5cvniah7vgzcpi

Engineering of Logics for the Content-Based Representation of Information [chapter]

Franz Baader
2004 Lecture Notes in Computer Science  
r Content-based representation of information r The role of logics and why they must be engineered r Description Logics as a successful instance of this approach r Two applications of DL: Semantic Web  ...  r understanding of meaning should result in ½ ability to draw conclusions from the represented information ½ ability to determine semantic equivalence of syntactically different representations © F.  ...  r Expressiveness vs. tractability issue: ½ application-relevant knowledge must be expressible ½ reasoning must still be "feasible" r Practical considerations, usability of logics: not just investigation  ... 
doi:10.1007/978-3-540-30227-8_2 fatcat:kuqsfxcsnnbsvcay7ln3uwrs6a

An Agile Approach to Validate a Formal Representation of the GDPR [chapter]

Cesare Bartolini, Gabriele Lenzini, Cristiana Santos
2019 Lecture Notes in Computer Science  
Modelling in a knowledge base of logic formulae the articles of the GDPR enables a semi-automatic reasoning of the Regulation.  ...  We devise such a validation methodology and exemplify it over a knowledge base of articles of the GDPR translated into Reified I/O (RIO) logic and encoded in LegalRuleML.  ...  DAPRECO Knowledge Base The target of the validation methodology we propose in this work is the so called DAPRECO Knowledge Base.  ... 
doi:10.1007/978-3-030-31605-1_13 fatcat:empjajy2u5cwte3433srqfoqlq

Workshop on comparing description and frame logics

D Fensel, M.-C Rousset, S Decker
1998 Data & Knowledge Engineering  
In most cases, this knowledge exists and is necessary to achieve usable systems.  ...  Therefore, specification languages for KBSs. like (ML) 2 and KARL, use a distinct logical language to represent control knowledge.  ...  In most cases, this knowledge exists and is necessary to achieve usable systems.  ... 
doi:10.1016/s0169-023x(97)00039-6 fatcat:37tqhgnbtbfujht33mdrnjr33q

A Legal Validation of a Formal Representation of Articles of the GDPR

Cesare Bartolini, Gabriele Lenzini, Cristiana Santos
2018 International Conference on Legal Knowledge and Information Systems  
It is possible to model the meaning of articles of the GDPR in logic formulae and this enables a semi-automatic reasoning over the Regulation, e.g., to build an argument of compliance.  ...  On a previous work, we devised a methodology and a human-readable intermediate representation to help non-experts reading formulae in Reified I/O logic (RIO), a formalism expressing GDPR provisions introduced  ...  Thus, the necessity of an integrated approach, which additionally should also acknowledge an operational-usability assessment, since the legal validity of the DAPRECO Knowledge Base logic formulae have  ... 
dblp:conf/jurix/BartoliniLS18 fatcat:wjtfm35gfrdz3b4bibkhankxnu

Usability flaws of medication-related alerting functions: A systematic qualitative review

Romaric Marcilly, Elske Ammenwerth, Francis Vasseur, Erin Roehrer, Marie-Catherine Beuscart-Zéphir
2015 Journal of Biomedical Informatics  
(i.e. they could be found in any system, e.g. guidance and workload issues) or infractions specific to medication-related alerting functions.  ...  during their design and evaluation process and ultimately constructs evidence-based usability design principles for these functions.  ...  Darmoni (CISMeF) for the great support in the definition of the requests and the staff of Lille 2's University library for their very efficient work in retrieving the required papers. the authors would  ... 
doi:10.1016/j.jbi.2015.03.006 pmid:25817918 fatcat:cefbajrysjashkm3zlikdm3zay

Usability Evaluation of Object Oriented Software System using Fuzzy Logic Approach

Sanjay KumarDubey, Ajay Rana, Arun Sharma
2012 International Journal of Computer Applications  
The problem lying in the interface is related to the usability. Usability is regarded as important quality factor for developing the successful interactive software system.  ...  The growth in demand for interactive software system has increased greatly in recent years. But, most of the developed systems are failing due to not providing suitable interface.  ...  Usability also became the key issue in Human-Computer Interaction (HCI) because not only it provides descriptive background and guidelines for development of a quality user interface but it is also concerned  ... 
doi:10.5120/6208-8778 fatcat:vukcys6g7zhondjtzr6fo3nmqq

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality [chapter]

Ronald J. Brachman, Alex Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider
2009 Lecture Notes in Computer Science  
The state of the art in description logics has changed considerably since classic was first envisioned in the late 1980s.  ...  Advances in algorithms and computers have made for effective reasoners for theoretically intractable description logics, A slightly different version published in  ...  more usable; and (3) getting around gaps in the logic.  ... 
doi:10.1007/978-3-642-02463-4_23 fatcat:6q5lllblqbe7xg3bplt254wlgm

Adaptive systems: A solution to usability problems

David Benyon
1993 User modeling and user-adapted interaction  
However, in order to do this a more comprehensive analysis is required and systems must be designed so that they can be made adaptive.  ...  This paper examines the implications for systems analysis, design and usability specification if adaptive systems are to be a realistic solution to usability problems.  ...  It consists of the data items; (Number of Tasks, Number of errors) Interaction Knowledge base The Interaction Knowledge base describes the inferences, adaptations and evaluations which the system can  ... 
doi:10.1007/bf01099425 fatcat:nhz53ed3lvaehhvkj2cg3lk2fu

Untangling taxonomies and relationships

Alan L. Rector, Chris Wroe, Jeremy Rogers, Angus Roberts
2001 Proceedings of the international conference on Knowledge capture - K-CAP 2001  
The ontologies are large and formulated in a specialised description logic, GRAIL.  ...  Issues arise both from problems in formal representations and from the idiosyncrasies of the medical domain.  ...  ACKNOWLEDGEMENTS This work has been supported in part by the European Commission and the UK Department of Health.  ... 
doi:10.1145/500737.500760 dblp:conf/kcap/RectorWRR01 fatcat:q2si7uaqinchxdh2vos7q3tnvu

Untangling taxonomies and relationships

Alan L. Rector, Chris Wroe, Jeremy Rogers, Angus Roberts
2001 Proceedings of the international conference on Knowledge capture - K-CAP 2001  
The ontologies are large and formulated in a specialised description logic, GRAIL.  ...  Issues arise both from problems in formal representations and from the idiosyncrasies of the medical domain.  ...  ACKNOWLEDGEMENTS This work has been supported in part by the European Commission and the UK Department of Health.  ... 
doi:10.1145/500742.500760 fatcat:wxqauc5lvfadnbtthpoqdhht3e

Building Usability Knowledge for Health Information Technology: A Usability-Oriented Analysis of Incident Reports

Romaric Marcilly, Jessica Schiro, Marie Catherine Beuscart-Zéphir, Farah Magrabi
2019 Applied Clinical Informatics  
We posed three questions: (1) To what extent can we gain knowledge about usability issues from incident reports?  ...  (2) What types of usability flaws, related usage problems, and negative outcomes are reported in incidents reports? (3) What are the reported usability issues that give rise to patient safety issues?  ...  To what extent can we gain knowledge about usability issues from incident reports? 2.  ... 
doi:10.1055/s-0039-1691841 pmid:31189203 pmcid:PMC6561760 fatcat:bsafgyu3ebfgzffssyj42xa5va
« Previous Showing results 1 — 15 out of 67,754 results