Logical definition features

SNOMED CT is the largest clinical terminology worldwide. Quality assurance of SNOMED CT is of utmost importance to ensure that it provides accurate domain knowledge to various SNOMED CT-based applications. In this work, we introduce a deep learning-based approach to uncover missing is-a relations in SNOMED CT.

10p vighostrider 25-05-2023 3 2   Download

We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture supports a modular encoding of linguistic theories and allows for a compact representation using underspecification. The system is fully implemented and has been used as a workbench to develop and test large HPSG grammars. The techniques described in this paper are not restricted to a specific implementation, but could be added to many current feature-based grammar development systems.

8p bunthai_1 06-05-2013 49 3   Download

A grammatical description often applies to a linguistic object only when that object has certain features. Such conditional descriptions can be indirectly modeled in Kay's Functional Unification Grammar (FUG) using functional descriptions that are embedded within disjunctive alternatives. An extension to FUG is proposed that allows for a direct representation of conditional descriptions. This extension has been used to model the input conditions on the systems of systemic grammar. Conditional descriptions are formally defined in terms of logical implication and negation.

8p bungio_1 03-05-2013 51 5   Download

This book breaks away from the standard microeconomics text for management students in numerous ways. Some of its relevant and useful features are as below: For the benefit of students, definition, taxonomy, and trivial memorization have been consciously de-emphasized Graphical and logical derivations are supplemented by economic intuition in simple-to-understand English, though the rigor of algebraic treatment is retained Strong emphasis on concepts,

373p buoi_chieu 23-04-2013 86 20   Download

While the basics of HTTP are elegantly simple, the protocol's advanced features are notoriously confusing, because they knit together complex technologies and terminology from many disciplines. This book clearly explains HTTP and these interrelated core technologies, in twenty-one logically organized chapters, backed up by hundreds of detailed illustrations and examples, and convenient reference appendices. HTTP: The Definitive Guide explains everything people need to use HTTP efficiently -- including the "black arts" and "tricks of the trade" -- in a concise and readable manner....

658p hoa_can 29-01-2013 54 11   Download