Module extraction and incremental classification: A pragmatic approach for ε ℒ+ ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5021 LNCS, Issue , 2008, Pages 230-244

  Suntisrivaraporn, Boontawee ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; CLASSIFICATION (OF INFORMATION); DATA DESCRIPTION; EXTRACTION; INFORMATION THEORY; RHENIUM; SEMANTIC WEB; SEMANTICS; SOLVENT EXTRACTION; STANDARDS; WORLD WIDE WEB;

BIOMEDICAL ONTOLOGIES; DESCRIPTION LOGIC (DL); EMPIRICAL EVALUATIONS; EUROPEAN; HEIDELBERG (CO); LIFE SCIENCES; SPRINGER (CO); STANDARD REASONING;

ONTOLOGY;

EID: 45449100723     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68234-9_19     Document Type: Conference Paper

References (13)

1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of IJCAI 2005, Morgan Kaufmann, San Francisco (2005)
2. Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - a polynomial-time reasoner for life science ontologies. In: Proc. of IJCAR 2006, Springer, Heidelberg (2006)
3. Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in EL+. In: Prof. of DL (2006), J. of Logic, Language and Information (to appear)
4. Dowling, W.F., Gallier, J.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. of Logic Programming 1(3), 267-284 (1984)
5. Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y.: History matters: Incremental ontology reasoning using modules. In: Aberer, K., Choi, K.-S., Noy, N., Alle-mang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ISWC 2007. LNCS, vol. 4825, Springer, Heidelberg (2007)
6. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proc. of WWW 2007, ACM Press, New York (2007)
7. Haarslev, V., Möller, R.: Incremental query answering for implementing document retrieval services. In: Proc. of DL 2003 (2003)
8. Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic EL. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, Springer, Heidelberg (2007)
9. Noy, N., Musen, M.: The PROMPT suite: Interactive tools for ontology mapping and merging. International Journal of Human-Computer Studies (2003)
10. Parsia, B., Halaschek-Wiener, C., Sirin, E.: Towards incremental reasoning through updates in OWL-DL. In: Proc. of Reasoning on the Web Workshop (2006)
11. Seidenberg, J., Rector, A.: Web ontology segmentation: Analysis, classification and use. In: Proc. of WWW 2006, ACM Press, New York (2006)
12. Suntisrivaraporn, B.: Module extraction and incremental classification: A pragmatic approach for EL+ ontologies. LTCS-Report. TU Dresden, Germany (2007), see http://lat.inf.tu-dresden.de/research/reports.html
13. The systematized nomenclature of medicine, clinical terms (SNOMED CT). The International Health Terminology Standards Development Organisation (2007), http://www.ihtsdo.org/our-standards/