17,352 Hits in 5.9 sec

Embedding defaults into terminological knowledge representation formalisms

Franz Baader, Bernhard Hollunder
1995 Journal of automated reasoning  
The overall goal is to construct systems with technical knowledge and common sense which -by using AI methods -implement a problem solution for a selected application area.  ...  Embedding Defaults into Terminological Knowledge Representation Formalisms Franz Baader and Bernhard Hollunder DFKI-RR-93-20 Introduction Terminological representation systems are used to represent the  ...  We shall here consider the problem of integrating Reiter's default logic into a terminological representation formalism.  ... 
doi:10.1007/bf00883932 fatcat:7fud4ihpqrazvixnbj5kqxj5f4

Page 1817 of Mathematical Reviews Vol. , Issue 96c [page]

1996 Mathematical Reviews  
defaults into terminological knowledge representation formalisms.  ...  Summary: “We consider the problem of integrating Reiter’s de- fault logic into terminological representation systems.  ... 

Representation of semantic knowledge with term subsumption languages [chapter]

Gerrit Burkert, Peter Forster
1992 Lecture Notes in Computer Science  
We examine the adequacy of knowledge representation formalisms developed in artificial intelligence, in particular of term subsumption languages for these issues.  ...  One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge.  ...  ., concept disjunction, defaults and similarity between concepts. As a consequence the TSL formalism has to be embedded into a representation system with more expressive power.  ... 
doi:10.1007/3-540-55801-2_28 fatcat:ni5bu6wbjzfkdcrzddx2zue4nu

Modeling principles for QMR medical findings

A M Rassinoux, R A Miller, R H Baud, J R Scherrer
1996 Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium  
Structured representation of medical information is essential for ensuring the accuracy and reliability of computerized decision support applications.  ...  A hybrid representation derived from existing frame-based and conceptual-graph-based systems is proposed to represent relevant medical terms as used by experts.  ...  Further, it would support natural language processing (NLP) techniques, which allow the content of medical texts to be automatically structured into this formal representation scheme.  ... 
pmid:8947669 pmcid:PMC2233214 fatcat:2np4iyyrt5g4ndet4l3c7k5tiy

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  
Issues arise both from problems in formal representations and from the idiosyncrasies of the medical domain.  ...  effort by central knowledge engineers.  ...  Formal description logics do not support default reasoning. However, they can provide a framework for separate default reasoners.  ... 
doi:10.1145/500742.500760 fatcat:wxqauc5lvfadnbtthpoqdhht3e

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  
Issues arise both from problems in formal representations and from the idiosyncrasies of the medical domain.  ...  effort by central knowledge engineers.  ...  Formal description logics do not support default reasoning. However, they can provide a framework for separate default reasoners.  ... 
doi:10.1145/500737.500760 dblp:conf/kcap/RectorWRR01 fatcat:q2si7uaqinchxdh2vos7q3tnvu


Lenhart K. Schubert
1991 Principles of Semantic Networks  
It is applied to systems which, as a class, lack distinctive representational and computational properties vis a vis other knowledge representation (KR) schemes.  ...  This terminological problem is not due to lack of substance or coherence of work done under the semantic net banner, Rather, it is due to convergence of the major KR schemes: the representational and computational  ...  into a well-formed knowledge set in the other, and furthermore, the original knowledge set and its transform are semantically equivalent.  ... 
doi:10.1016/b978-1-4832-0771-1.50008-4 fatcat:dcb4ratdhbabpnm5z5agbmvfmm

Medical knowledge reengineering—converting major portions of the UMLS into a terminological knowledge base

Stefan Schulz, Udo Hahn
2001 International Journal of Medical Informatics  
formal target representation structures complete and empirically adequate.  ...  We describe a semi-automatic knowledge engineering approach for converting the human anatomy and pathology portion of the UMLS metathesaurus into a terminological knowledge base.  ...  Semi-automatic transformation of an informal knowledge repository into a formal terminological knowledge base Our goal is to extract conceptual knowledge from two highly relevant subdomains of the UMLS  ... 
doi:10.1016/s1386-5056(01)00201-5 pmid:11734387 fatcat:rxqlyykwmjegbj6cvhtotevkxm

A Realistic Architecture for the Semantic Web [chapter]

Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
2005 Lecture Notes in Computer Science  
The class of languages we are after includes rules in the Logic Programming style, which support default negation.  ...  A related inference rule, called default inheritance, is used in object-oriented knowledge representation.  ...  With these definitions, we can now formally state (relying on the standard facts about Datalog and default negation) that Datalog extends DLP with respect to the DLP-to-Datalog embedding described in  ... 
doi:10.1007/11580072_3 fatcat:lzxsws2csvbh5kgugu3iobbvwi

Integrating Textual Knowledge and Formal Knowledge for Improving Traceability [chapter]

Farid Cerbah, Jérôme Euzenat
2000 Lecture Notes in Computer Science  
More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models.  ...  The presented system is one step towards incremental formalization from textual knowledge.  ...  Turning a knowledge base into a HTTP server is easily achieved by connecting it to a port and transforming each object reference into an URL and each object into a HTML page.  ... 
doi:10.1007/3-540-39967-4_22 fatcat:kszsw2jd5bdepnlrlmz4sr2vhi

The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols [chapter]

Barbara Heller, Heinrich Herre, Kristin Lippoldt
2004 Lecture Notes in Computer Science  
We outline a framework consisting of a system of formal tools designed to support the development of data dictionaries, taxonomies and knowledge systems.  ...  In the present paper we expound a methodology for the development of terminology systems and the construction of semantically founded knowledge systems.  ...  Another module of the system assists the extraction of formal knowledge from several sources; it is intended, in particular, to support the translation of terminology systems and taxonomies into ontologically  ... 
doi:10.1007/978-3-540-30202-5_1 fatcat:kktcltzppnfqbh7yhjd3bormsu

Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services

Jon Doyle, Ramesh S. Patil
1991 Artificial Intelligence  
Two Theses of Knowledge Representation  ...  They also separate terminological and assertional knowledge, and restrict classification to purely terminological information.  ...  respect the division of knowledge into terminological and assertional components.  ... 
doi:10.1016/0004-3702(91)90029-j fatcat:zxvnt4bmj5gyxlmvxvd7hrtiea

Formal Ontologies and Semantic Technologies: A "Dual Process" Proposal for Concept Representation

Marcello Frixione, Antonio Lieto
2014 Philosophia Scientiæ  
One of the main problems of most contemporary concept oriented knowledge representation systems consists in the fact that, for technical convenience, the representation of knowledge in prototypical terms  ...  Taking inspiration from the so-called dual process theories of reasoning and rationality, we propose that conceptual representation in computational systems should be demanded to (at least) two representational  ...  approach seems to fit well into the philosophy of terminological systems because most of them already provide their users with a form of 'monotonic' rules.  ... 
doi:10.4000/philosophiascientiae.1005 fatcat:u2qzeafltje4dopkhka7t5nyi4

Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

Franz Baader, Bernhard Hollunder
1995 Journal of automated reasoning  
In a recent paper we have proposed terminological default logic as a formalism that combines means both for structured representation of classes and objects and for default inheritance of properties.  ...  In the terminological case, we thus obtain an automated default reasoning procedure that takes specificity into account.  ...  Acknowledgements We thank Peter Patel-Schneider for interesting discussions on specificity of defaults and Bernhard Nebel and the referees for helpful comments on previous versions of this paper.  ... 
doi:10.1007/bf00881830 fatcat:psdiqq62qjarfjbzgwvezzctye

A graphical framework for specification of clinical guidelines at multiple representation levels

Erez Shalom, Yuval Shahar
2005 AMIA Annual Symposium Proceedings  
Formalization of a clinical guideline for purposes of automated application and quality assessment mainly involves conversion of its free-text representation into a machine comprehensible representation  ...  , i.e., a formal language, thus enabling auto-mated support.  ...  IDAN language [14] used as the default formal query language.  ... 
pmid:16779126 pmcid:PMC1560835 fatcat:auzqndm63zdbffz2zmvd7giwa4
« Previous Showing results 1 — 15 out of 17,352 results