A T-box generator for testing scalability of OWL mereotopological patterns

CEUR Workshop Proceedings

Volumn 796, Issue , 2011, Pages

  Boeker, Martin ^a   Hastings, Janna ^b   Schober, Daniel ^a   Schulz, Stefan ^c  

^a UNIVERSITY OF FREIBURG   (Germany)

^b EUROPEAN BIOINFORMATICS INSTITUTE   (United Kingdom)

^c MEDICAL UNIVERSITY OF GRAZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMEDICAL ONTOLOGIES; CARDINALITIES; CELLULAR COMPONENTS; DESIGN PATTERNS; DISJOINTNESS; INTERNAL STRUCTURE; MEREOTOPOLOGY; REASONING PERFORMANCE;

SCALABILITY;

BIRDS;

EID: 84893647847     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Glimm, B., Horridge, M., Parsia, B., Patel-Schneider, P.F.: A syntax for rules in OWL 2. In: Proc. of OWL Experiences and Directions 2009 (OWLED 2009) (2009)
2. Hastings, J., Dumontier, M., Hull, D., Horridge, M., Steinbeck, C., Sattler, U., Stevens, R., Hörne, T., Britz, K.: Representing chemicals using OWL, description graphs and rules. In: Proc. of OWL: Experiences and Directions (OWLED 2010) (2010)
3. Jansen, L., Schulz, S.: Grains, components and mixtures in biomedical ontologies. Journal of Biomedical Semantics to appear (2011)
4. Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a Complete OWL Ontology Benchmark. In: The Semantic Web: Research and Applications, chap. 12, pp. 125-139. Lecture Notes in Computer Science
5. Motik, B., Cuenca Grau, B., Sattler, U.: Structured objects in OWL: representation and reasoning. In: Proc. of the 17th International World Wide Web Conference (WWW 2008). ACM, Beijing, China (2008)
6. Ongenae, F., Verstichel, S., De Turck, F., Dhaene, T., Dhoedt, B., Demeester, P.: OTAGen: A tunable ontology generator for benchmarking ontology-based agent collaboration. Computer Software and Applications COMPSAC 08 (2008)
7. Rosse, C. Jr. M.J.: The foundational model of anatomy ontology. In: Burger, A., Davidson, D., Baldock, R. (eds.) Anatomy Ontologies for Bioinformatics: Principles and Practice, pp. 59-117. Springer, London (2007)
8. Shearer, R., Motik, B., Horrocks, I.: HermiT: A highly-efficient OWL reasoner. In: Dolbear, C., Ruttenberg, A., Sattler, U. (eds.) Proceedings of the 5th Workshop on OWL: Experiences and Directions. Karlsruhe, Germany (2008)
9. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5, 51-53 (2007)
10. The Gene Ontology Consortium: Gene ontology: tool for the unification of biology. Nat. Genet. 25, 25-9 (2000)
11. Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006). pp. 292-297. Springer (2006)