-
1
-
-
33749540503
-
Is tractable reasoning in extensions of the description logic EL useful in practice
-
Baader, F., Lutz, C., and Suntisrivaraporn, B., Is tractable reasoning in extensions of the description logic EL useful in practice, Proceedings of the 2005 International Workshop on Methods for Modalities (2005), pp. 5.
-
(2005)
Proceedings of the 2005 International Workshop on Methods for Modalities
, pp. 5
-
-
Baader, F.1
Lutz, C.2
Suntisrivaraporn, B.3
-
2
-
-
38149093854
-
Case studies on ontology reuse
-
Bontas, E.P., Mochol, M., and Tolksdorf, R., Case studies on ontology reuse, Proceedings of the 5th International Conference on Knowledge Management IKNOW05 (2005).
-
(2005)
Proceedings of the 5th International Conference on Knowledge Management IKNOW05
-
-
Bontas, E.P.1
Mochol, M.2
Tolksdorf, R.3
-
3
-
-
34247144014
-
Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies
-
DOI 10.1016/j.artmed.2006.12.003, PII S0933365706001904, Oncologucal Foundations for Biomedical Sciences
-
Bodenreider, O., Smith, B., Kumar, A., and Burgun, A., Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies, Artificial intelligence in medicine 39 (2007), pp. 183-195. (Pubitemid 46590708)
-
(2007)
Artificial Intelligence in Medicine
, vol.39
, Issue.3
, pp. 183-195
-
-
Bodenreider, O.1
Smith, B.2
Kumar, A.3
Burgun, A.4
-
4
-
-
67349122337
-
Ontology-based error detection in SNOMED-CT
-
Ceusters, W., Smith, B., Kumar, A., and Dhaen, C., Ontology-based error detection in SNOMED-CT, Studies in health technology and informatics 107 (2004), pp. 482.
-
(2004)
Studies in Health Technology and Informatics
, vol.107
, pp. 482
-
-
Ceusters, W.1
Smith, B.2
Kumar, A.3
Dhaen, C.4
-
7
-
-
35148826896
-
Replacing SEP-triplets in SNOMED CT using tractable description logic operators
-
Artificial Intelligence in Medicine - 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Proceedings
-
Suntisrivaraporn, B., Baader, F., Schulz, S., and Spackman, K., Replacing SEPtriplets in SNOMED CT using tractable description logic operators, Proceedings of AIME, LNCS (2007). (Pubitemid 47545209)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4594
, pp. 287-291
-
-
Suntisrivaraporn, B.1
Baader, F.2
Schulz, S.3
Spackman, K.4
-
8
-
-
84860538494
-
Complex occurrents in clinical terminologies and their representation in a formal language
-
Schulz, S., Markó, K., and Suntisrivaraporn, B., Complex occurrents in clinical terminologies and their representation in a formal language, Proc. 1st European Conference on SNOMED CT (SMCSäAŹ06) (2006).
-
(2006)
Proc. 1st European Conference on SNOMED CT (SMCSäAŹ06)
-
-
Schulz, S.1
Markó, K.2
Suntisrivaraporn, B.3
-
9
-
-
0842283371
-
A reference ontology for biomedical informatics: The Foundational Model of Anatomy
-
DOI 10.1016/j.jbi.2003.11.007
-
Rosse, C. and Mejino, J.L.V., A reference ontology for biomedical informatics: the Foundational Model of Anatomy, Journal of Biomedical Informatics 36 (2003), pp. 478-500. (Pubitemid 38169375)
-
(2003)
Journal of Biomedical Informatics
, vol.36
, Issue.6
, pp. 478-500
-
-
Rosse, C.1
Mejino Jr., J.L.V.2
-
10
-
-
34748862948
-
Comparing the representation of anatomy in the FMA and SNOMED CT
-
Bodenreider, O. and Zhang, S., Comparing the representation of anatomy in the FMA and SNOMED CT, AMIA Annual Symposium Proceedings (2006), pp. 46.
-
(2006)
AMIA Annual Symposium Proceedings
, pp. 46
-
-
Bodenreider, O.1
Zhang, S.2
-
12
-
-
0032433211
-
Desiderata for controlled medical vocabularies in the twenty-first century
-
Cimino, J.J., Desiderata for controlled medical vocabularies in the twenty-first century, Methods of information in medicine (1998).
-
(1998)
Methods of Information in Medicine
-
-
Cimino, J.J.1
-
13
-
-
0033427371
-
Clinical terminology: Why is it so hard?
-
Rector, A.L., Clinical terminology: why is it so hard?, Methods of information in medicine 4/5 (1999), pp. 239-252.
-
(1999)
Methods of Information in Medicine
, vol.4-5
, pp. 239-252
-
-
Rector, A.L.1
-
14
-
-
84947570401
-
Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
-
Rector, A.L., Modularisation of domain ontologies implemented in description logics and related formalisms including OWL, Proceedings of the 2nd international conference on Knowledge capture (2003), pp. 121-128.
-
(2003)
Proceedings of the 2nd International Conference on Knowledge Capture
, pp. 121-128
-
-
Rector, A.L.1
-
16
-
-
44449149343
-
Modular reuse of ontologies: Theory and practice
-
Grau, B. C., Horrocks, I., Kazakov, Y., Sattler, U., Modular Reuse of Ontologies: Theory and Practice, Journal of Artificial Intelligence Research 31 (2008), pp. 273-318. (Pubitemid 351761989)
-
(2008)
Journal of Artificial Intelligence Research
, vol.31
, pp. 273-318
-
-
Grau, B.C.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
17
-
-
33845453976
-
Web ontology segmentation: Analysis, classification and use
-
DOI 10.1145/1135777.1135785, Proceedings of the 15th International Conference on World Wide Web
-
Seidenberg, J. and Rector, A.,Web ontology segmentation: Analysis, classification and use, Proceedings of the 15th international conference on World Wide Web (2006), pp. 13-22. (Pubitemid 46946593)
-
(2006)
Proceedings of the 15th International Conference on World Wide Web
, pp. 13-22
-
-
Seidenberg, J.1
Rector, A.2
-
19
-
-
0032248858
-
Part-whole reasoning in medical ontologies revisited- introducing SEP triplets into classification-based description logics
-
Schulz, S., Romacker, M., and Hahn, U., Part-whole reasoning in medical ontologies revisited- introducing SEP triplets into classification-based description logics., Proceedings of the AMIA Symposium (1998), pp. 830.
-
(1998)
Proceedings of the AMIA Symposium
, pp. 830
-
-
Schulz, S.1
Romacker, M.2
Hahn, U.3
-
20
-
-
33845438914
-
CropCircles: Topology sensitive visualization of OWL class hierarchies
-
The Semantic Web - ISWC 2006 - 5th International Semantic Web Conference, ISWC 2006, Proceedings
-
Wang, T.D. and Parsia, B., Cropcircles: topology sensitive visualization of owl class hierarchies, Lecture Notes in Computer Science 4273 (2006), pp. 695. (Pubitemid 44892066)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4273
, pp. 695-708
-
-
Wang, T.D.1
Parsia, B.2
-
23
-
-
54949110620
-
Formal representation of complex SNOMED CT expressions
-
Schulz, S., Marko, K., and Suntisrivaraporn, B., Formal representation of complex SNOMED CT expressions, BMC Medical Informatics and Decision Making 8 (2008), pp. S9.
-
(2008)
BMC Medical Informatics and Decision Making
, vol.8
-
-
Schulz, S.1
Marko, K.2
Suntisrivaraporn, B.3
-
24
-
-
77951878789
-
Efficient reasoning in EL+
-
Baader, F., Lutz, C., and Suntisrivaraporn, B., Efficient reasoning in EL+, Proceedings of DL2006 189 (2006).
-
(2006)
Proceedings of DL2006
, pp. 189
-
-
Baader, F.1
Lutz, C.2
Suntisrivaraporn, B.3
-
25
-
-
84884643215
-
Modularization: A key for the dynamic selection of relevant knowledge components
-
d'Aquin, M., Sabou, M., and Motta, E., Modularization: a key for the dynamic selection of relevant knowledge components, Proceedings of the ISWC 2006 Workshop on Modular Ontologies (2006).
-
(2006)
Proceedings of the ISWC 2006 Workshop on Modular Ontologies
-
-
D'Aquin, M.1
Sabou, M.2
Motta, E.3
-
26
-
-
33748305760
-
The foundational model of anatomy in OWL: Experience and perspectives
-
DOI 10.1016/j.websem.2006.05.007, PII S1570826806000199
-
Golbreich, C., Zhang, S., and Bodenreider, O., The foundational model of anatomy in OWL: Experience and perspectives, Web Semantics 4 (2006), pp. 181-195. (Pubitemid 44331734)
-
(2006)
Web Semantics
, vol.4
, Issue.3
, pp. 181-195
-
-
Golbreich, C.1
Zhang, S.2
Bodenreider, O.3
|