Sciweavers

3809 search results - page 104 / 762
» Associative language descriptions
Sort
View
MEDINFO
2007
130views Healthcare» more  MEDINFO 2007»
15 years 7 months ago
What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
Alan L. Rector
DLOG
1997
15 years 7 months ago
Experiments with the DFL Hybrid System
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Mira Balaban, Adi Eyal
JAPLL
2010
141views more  JAPLL 2010»
15 years 4 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
AIME
2007
Springer
16 years 16 days ago
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
Boontawee Suntisrivaraporn, Franz Baader, Stefan S...
EURODAC
1994
IEEE
118views VHDL» more  EURODAC 1994»
15 years 10 months ago
The semantics of behavioral VHDL '93 descriptions
We present a rigorous but transparent semantic de nition of VHDL'93 covering the complete signal behavior and time model including the various wait statements and signal assi...
Wolfgang Müller 0003, Egon Börger, Uwe G...