Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Knowledge manipulation activities: results of a Delphi study
Information and Management
A content-search information retrieval process based on conceptual graphs
Knowledge and Information Systems
IEEE Intelligent Systems
Verification of Medical Guidelines Using Background Knowledge in Task Networks
IEEE Transactions on Knowledge and Data Engineering
A Delphi study of knowledge management systems: Scope and requirements
Information and Management
Computational methods for Traditional Chinese Medicine: A survey
Computer Methods and Programs in Biomedicine
The MIEL system: Uniform interrogation of structured and weakly-structured imprecise data
Journal of Intelligent Information Systems
A Delphi-based approach to developing expert systems with the cooperation of multiple experts
Expert Systems with Applications: An International Journal
Clinical practice guidelines: A case study of combining OWL-S, OWL, and SWRL
Knowledge-Based Systems
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
The Delphi Process Applied to African Traditional Medicine
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
An ontology-based measure to compute semantic similarity in biomedicine
Journal of Biomedical Informatics
An approach to automatic ontology-based annotation of biomedical texts
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
User-centered visual analysis using a hybrid reasoning architecture for intensive care units
Decision Support Systems
Mining association rules for the quality improvement of the production process
Expert Systems with Applications: An International Journal
Graph-based reasoning in collaborative knowledge management for industrial maintenance
Computers in Industry
Software architecture knowledge for intelligent light maintenance
Advances in Engineering Software
Development of a Composite Knowledge Manipulation Tool: K-Expert
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Although African patients use both conventional or modern and traditional healthcare simultaneously, it has been proven that 80% of people rely on African traditional medicine (ATM). ATM includes medical activities stemming from practices, customs and traditions which were integral to the distinctive African cultures. It is based mainly on the oral transfer of knowledge, with the risk of losing critical knowledge. Moreover, practices differ according to the regions and the availability of medicinal plants. Therefore, it is necessary to compile tacit, disseminated and complex knowledge from various Tradi-Practitioners (TP) in order to determine interesting patterns for treating a given disease. Knowledge engineering methods for traditional medicine are useful to model suitably complex information needs, formalize knowledge of domain experts and highlight the effective practices for their integration to conventional medicine. The work described in this paper presents an approach which addresses two issues. First it aims at proposing a formal representation model of ATM knowledge and practices to facilitate their sharing and reusing. Then, it aims at providing a visual reasoning mechanism for selecting best available procedures and medicinal plants to treat diseases. The approach is based on the use of the Delphi method for capturing knowledge from various experts which necessitate reaching a consensus. Conceptual graph formalism is used to model ATM knowledge with visual reasoning capabilities and processes. The nested conceptual graphs are used to visually express the semantic meaning of Computational Tree Logic (CTL) constructs that are useful for formal specification of temporal properties of ATM domain knowledge. Our approach presents the advantage of mitigating knowledge loss with conceptual development assistance to improve the quality of ATM care (medical diagnosis and therapeutics), but also patient safety (drug monitoring).