Summary
In this chapter we present an algorithm for extracting relevant segments out of large description logic ontologies for the purposes of increasing tractability for both humans and computers. We offer several variations on this algorithm for different purposes. The segments are not mere fragments, but stand alone as ontologies in their own right. This technique takes advantage of the detailed semantics captured within an OWL ontology to produce highly relevant segments. However, extracted segments make no guarantee for preserving the semantics of the complete ontology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexaki, S., Christophides, V., Karvounarakis, G., Plexousakis, D., Tolle, K., Amann, B., Fundulaki, I., Scholl, M., Vercoustre, A.-M.: Managing RDF Metadata for Community Webs. In: ER 2000: Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling, pp. 140–151 (2000)
Batagelj, V.: Analysis of large network islands. Dagstuhl Semina 03361, University of Ljubljana, Slovenia, Algorithmic Aspects of Large and Complex Networks (August 2003)
Bhatt, M., Wouters, C., Flahive, A., Rahayu, W., Taniar, D.: Semantic completeness in sub-ontology extraction using distributed methods. In: Laganá, A., Gavrilova, M.L., Kumar, V., Mun, Y., Tan, C.J.K., Gervasi, O. (eds.) ICCSA 2004. LNCS, vol. 3045, pp. 508–517. Springer, Heidelberg (2004)
Bray, T.: What is RDF? http://www.xml.com/pub/a/2001/01/24/rdf.html (January 2001)
Brin, S., Page, L.: The anatomy of a large-scale hypertextual Web search engine. Computer Networks and ISDN Systems 30(1–7), 107–117 (1998)
Dameron, O.: JOT: a Scripting Environment for Creating and Managing Ontologies. In: 7th International Protégé Conference (2004)
Drummond, N., Horridge, M., Wang, H., Rogers, J., Knublauch, H., Stevens, R., Wroe, C., Rector, A.: Designing User Interfaces to Minimise Common Errors in Ontology Development: the CO-ODE and HyOntUse Projects. In: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting (September 2004)
dquin, M., Sabou, M., Motta, E.: Modularization: a key for the dynamic selection of relevant knowledge components. In: First International Workshop on Modular Ontologies (WOMO) (2006)
Golbeck, J., Fragoso, G., Hartel, F., Hendler, J., Oberthaler, J., Parsia, B.: National Cancer Institute’s Thésaurus and Ontology. Journal of Web Semantics (2003)
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proc. of the 16th International World Wide Web Conference (2007)
Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, p. 364. Springer, Heidelberg (2001)
Hendler, J.: On beyond ontology. Keynote talk. In: International Semantic Web Conference (2003)
Horrocks, I.: Optimisation techniques for expressive description logics. Technical Report UMCS-97-2-1, University of Manchester, Department of Computer Science (February 1997)
Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. Technical report, University of Manchester (2005)
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1, 7–26 (2003)
Horrocks, I., Rector, A.L., Goble, C.A.: A Description Logic Based Schema for the Classification of Medical Data. In: KRDB (1996)
Horrocks, I., Sattler, U.: Decidability of \(\mathcal{SHIQ}\) with complex role inclusion axioms. Artificial Intelligence 160(1–2), 79–104 (2004)
Knublauch, H., Fergerson, R.W., Noy, N., Musen, M.A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 229–243. Springer, Heidelberg (2004)
Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. In: Baader, F. (ed.) CADE 2003. LNCS, vol. 2741, pp. 60–74. Springer, Heidelberg (2003)
MacCartney, B., McIlraith, S., Amir, E., Uribe, T.E.: Practical Partition-Based Theorem Proving for Large Knowledge Bases. In: Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI 2003), pp. 89–96 (2003)
Magkanaraki, A., Tannen, V., Christophides, V., Plexousakis, D.: Viewing the Semantic Web through RVL Lenses. Journal of Web Semantics 1(4), 29 (2004)
McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation (February 2004)
Noy, N., Musen, M.A.: The PROMPT Suite: Interactive Tools For Ontology Merging And Mapping. International Journal of Human-Computer Studies 59(6), 983–1024 (2003)
Noy, N., Musen, M.A.: Specifying ontology views by traversal. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 713–725. Springer, Heidelberg (2004)
Noy, N.F., Fergerson, R.W., Musen, M.A.: The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS, vol. 1937, pp. 17–32. Springer, Heidelberg (2000)
Odell, J.J.: Six different kinds of composition. Journal of Object-Oriented Programming 5(8), 10–15 (1994)
Parsia, B., Sirin, E.: Pellet: An OWL DL reasoner. In: ISWC 2004 (2004)
Pease, A., Niles, I., Li, J.: The suggested upper merged ontology: A large ontology for the semantic web and its applications. In: Working Notes of the AAAI 2002 Workshop on Ontologies and the Semantic Web, July 28-August 1 (2002)
Rector, A.: Analysis of propagation along transitive roles: Formalisation of the GALEN experience with medical ontologies. In: DL 2002 (2002)
Rector, A., Rogers, J.: Ontological Issues in using a Description Logic to Represent Medical Concepts: Experience from GALEN. In: IMIA WG6 Workshop (1999)
Rector, A.L.: Normalisation of ontology implementations: Towards modularity, re-use, and maintainability. In: EKAW Workshop on Ontologies for Multiagent Systems (2002)
Rector, A.L., Bechhofer, S., Goble, C., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine 9(2), 139–171 (1997)
Riazanov, A., Voronkov, A.: Vampire 1.1 (system description). In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS(LNAI), vol. 2083, pp. 376–380. Springer, Heidelberg (2001)
Rogers, J.: OpenGALEN: Making the impossible very difficult, http://www.opengalen.org/ (August 2005)
Rogers, J., Rector, A.: GALEN’s model of parts and wholes: Experience and comparisons. In: Proceedings of AMIA Symposium, pp. 714–718 (2000)
Rosse, C., Mejino, J.L.V.: A reference ontology for biomedical informatics: the Foundational Model of Anatomy. Journal of Biomedical Informatics 36(6), 478–500 (2003)
Schulz, S., Hahn, U., Romacher, M.: Part-Whole Reasoning in Medical Ontologies Revisited: Introducing SEP Triplets into Classification-Based Description Logics. In: AMIA Annual Fall Symposium, November 1998, pp. 830–834. Hanley & Belfus (1998)
Seaborne, A., Prud’hommeaux, E.: SparQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/ (February 2005)
Seidenberg, J., Rector, A.: Representing Transitive Propagation in OWL. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 255–266. Springer, Heidelberg (2006)
Seidenberg, J., Rector, A.: Web ontology segmentation: Analysis, classification and use. In: 15th International World Wide Web Conference (May 2006)
Simon, H.A.: The Sciences of the Artificial, ch. 7, pp. 209–217. MIT Press, Cambridge (1969)
Smith, B., Williams, J., Schulze-Kremer, S.: The Ontology of the Gene Ontology. In: Proceedings of AMIA Symposium (2003)
Stearns, M.Q., Price, C., Spackman, K.A., Wang, A.Y.: SNOMED clinical terms: overview of the development process and project status. In: Proceedings of AMIA Symposium, pp. 662–666 (2001)
Stuckenschmidt, H., Klein, M.: Structure-Based Partitioning of Large Class Hierarchies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 289–303. Springer, Heidelberg (2004)
TheFreeDictionary.com. Transitivity definition (2004)
Tsarkov, D., Horrocks, I.: Dl reasoner vs. first-order prover. In: Description Logic Workshop (DL 2003). CEUR, vol. 81, pp. 152–159 (2003)
Tsarkov, D., Horrocks, I.: Reasoner prototype: Implementing new reasoner with datatypes support. WonderWeb Project Deliverable (2003)
Volz, R., Oberle, D., Studer, R.: Views for light-weight web ontologies. In: Proceedings of the ACM Symposium on Applied Computing (SAC)(2003)
Winston, M., Chaffin, R., Herrmann, D.: A taxonomy of part-whole relations. In: Cognitive Science, vol. 11, pp. 417–444 (1987)
Wouters, C., Dillon, T.S., Rahayu, J.W.J., Chang, E., Meersman, R.: Ontologies on the MOVE. In: Lee, Y., Li, J., Whang, K.-Y., Lee, D. (eds.) DASFAA 2004. LNCS, vol. 2973, pp. 812–823. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Seidenberg, J. (2009). Web Ontology Segmentation: Extraction, Transformation, Evaluation. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds) Modular Ontologies. Lecture Notes in Computer Science, vol 5445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01907-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-01907-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01906-7
Online ISBN: 978-3-642-01907-4
eBook Packages: Computer ScienceComputer Science (R0)