Scalable authoritative OWL reasoning for the web

International Journal on Semantic Web and Information Systems

Volumn 5, Issue 2, 2009, Pages 49-90

  Hogan, Aidan ^a   Harth, Andreas ^a   Polleres, Axel ^a  

^a NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

Authoritative reasoning; Datalog; Inference; OWL; RDFS; Reasoning; Rules; Scalability; Semantic web

Indexed keywords

BIRDS; ONTOLOGY; SCALABILITY; WEB CRAWLER;

AUTHORITATIVE REASONING; DATALOG; INFERENCE; RDFS; REASONING; RULES;

SEMANTIC WEB;

EID: 77952659338     PISSN: 15526283     EISSN: 15526291     Source Type: Journal    
DOI: 10.4018/jswis.2009040103     Document Type: Article

References (47)

1. (2006, October). BigOWLIM: System Documentation.
2. Bechhofer, S., F. van Harmelen, et al. (2004, February). OWL Web Ontology Language Reference.
3. Bechhofer, S., & Volz, R. (2004). Patching Syntax in OWL Ontologies. International Semantic Web Conference, 3298, 668-682, Hiroshima, Japan. Springer.
4. Brickley, D., & Guha, R. V. (2004, February). RDF Vocabulary Description Language 1.0: RDF Schema.
5. Brickley, D., &Miller, L. (2007, November). FOAF Vocabulary Specification 0.91.
6. Cheng, G., Ge, W., et al. (2008). Searching Semantic Web Objects Based on Class Hierarchies. Proceedings of Linked Data on the Web Workshop.
7. Cheng, G. & Qu, Y. (2008). Term Dependence on the Semantic Web. International Semantic Web Conference (pp. 665-680), Karlsruhe, Germany.
8. de Bruijn, J. (2008). Semantic Web Language Layering with Ontologies, Rules, and Meta-Modeling. University of Innsbruck.
9. de Bruijn, J., & Heymans, S. (2007). Logical Foundations of (e)RDF(S): Complexity and Reasoning. 6th International Semantic Web Conference (pp. 86-99), Busan, Korea.
10. Delbru, R., A. Polleres, et al. (2008). Context dependent reasoning for semantic documents in Sindice. Proceedings of the 4th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2008), Karlsruhe, Germany.
11. Fensel, D., & van Harmelen, F. (2007). Unifying Reasoning and Search to Web Scale. IEEE Internet Computing, 11(2). 96, 94-95.
12. Ghilardi, S., Lutz, C., et al. (2006). Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 187-197), Lake District of the UK..
13. Grau, B. C., Horrocks, I., et al. (2006). Next Steps for OWL. OWL: Experiences and Directions Workshop, Athens, Georgia, USA.
14. Grosof, B., Horrocks, I., et al. (2004). Description Logic Programs: Combining Logic Programs with Description Logic. 13th International Conference on World Wide Web.
15. Guha, R. V., McCool, R., et al. (2004). Contexts for the Semantic Web. 3rd International Semantic Web Conference, Hiroshima.
16. Guo, Y., Pan, Z., et al. (2005). LUBM: A benchmark for OWL knowledge base systems. Journal of Web Semantics, 3(2-3), 158-182.
17. Gutiérrez, C., Hurtado, C., et al. (2004). Foundations of Semantic Web Databases. 23rd ACM SIGACTSIGMOD- SIGART Symposium on Principles of Database Systems, Paris.
18. Haarslev, V., & Möller, R. (2003). Racer: A Core Inference Engine for the Semantic Web. International Workshop on Evaluation of Ontology-based Tools.
19. Harth, A., & Decker, S. (2005). Optimized Index Structures for Querying RDF from the Web. 3rd Latin American Web Congress (pp. 71-80). Buenos Aires, Argentina: IEEE Press.
20. Harth, A., Umbrich, J., et al. (2006). MultiCrawler: A Pipelined Architecture for Crawling and Indexing Semantic Web Data. International Semantic Web Conference (pp. 258-271).
21. Hayes, P. (2004, February). RDF Semantics.
22. Hogan, A., Harth, A., et al. (2007). Performing Object Consolidation on the Semantic Web Data Graph. 1st I3 Workshop: Identity, Identifiers, Identification Workshop.
23. Hogan, A., Harth, A., et al. (2008). SAOR: Authoritative Reasoning for the Web. Proceedings of the 3rd Asian Semantic Web Conference (ASWC 2008), Bankok, Thailand.
24. Hondjack, D., Pierra, G., et al. (2007). OntoDB: An Ontology-Based Database for Data Intensive Applications. Proceedings of the 12th International Conference on Database Systems for Advanced Applications (pp. 497-508), Bangkok, Thailand.
25. Horrocks, I., & Patel-Schneider, P. F. (2004). Reducing OWL entailment to description logic satisfiability. Journal of Web Semamtics, 1(4), 345-357.
26. Jiménez-Ruiz, E., Grau, B. C., et al. (2008). Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany.
27. Kiryakov, A., Ognyanov, D., et al. (2005). OWLIM - A Pragmatic Semantic Repository for OWL. Web Information Systems Engineering Workshops (pp. 182-192), New York, USA.
28. Kunkle, D., & Cooperman, G. (2008). Solving Rubik's Cube: disk is the new RAM. Communications of the ACM, 51(4), 31-33.
29. Lloyd, J. W. (1987). Foundations of Logic Programming (2nd ed.). Springer-Verlag.
30. Lutz, C., Walther, D., et al. (2007). Conservative Extensions in Expressive Description Logics. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence. Hyderabad, India: 453-458.
31. Motik, B. (2006). Reasoning in Description Logics using Resolution and Deductive Databases. Karlsruhe, Germany, Forschungszentrum Informatik.
32. Motik, B. (2007). On the Properties of Metamodeling in OWL. Journal of Logic and Computation, 17(4), 617-637.
33. Muñoz, S., Pérez, J., et al. (2007). Minimal Deductive Systems for RDF. ESWC (pp. 53-67).
34. Pan, Z., & Heflin, J. (2003). DLDB: Extending Relational Databases to Support Semantic Web Queries. PSSS1 - Practical and Scalable Semantic Systems, Proceedings of the First International Workshop on Practical and Scalable Semantic Systems. Sanibel Island, Florida, USA.
35. Pan, Z., Qasem, A., et al. (2007). Hawkeye: A Practical Large Scale Demonstration of Semantic Web Integration. Proceedings of On the Move to Meaningful Internet Systems Workshops (OTM-II) (pp. 1115-1124).
36. Patel-Schneider, P. F., & Horrocks, I. (2004, February). OWL Web Ontology Language Semantics and Abstract Syntax
37. Prud'hommeaux, E., & Seaborne, A. (2008, January). SPARQL Query Language for RDF.
38. Sintek, M., & Decker, S. (2002). TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. 1st International Semantic Web Conference (pp. 364-378).
39. Sirin, E., Parsia, B., et al. (2007). Pellet: A practical OWL-DL reasoner. Journal of Web Semantics, 5(2), 51-53.
40. Smith, M. K., Welty, C., et al. (2004, February). OWL Web Ontology Language Guide.
41. ter Horst, H. J. (2005). Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. 4th International Semantic Web Conference (pp. 668-684).
42. ter Horst, H. J. (2005). Completeness, decidability and complexity of entailment for RDF Schema ans a semantic extension involving the OWL vocabulary. Journal of Web Semantics, 3, 79-115.
43. Theoharis, Y., Christophides, V., et al. (2005). Benchmarking Database Representations of RDF/S Stores. Proceedings of the Fourth International Semantic Web Conference (pp. 685-701). Galway, Ireland.
44. Tsarkov, D., & Horrocks, I. (2006). FaCT++ Description Logic Reasoner: System Description. International Joint Conf. on Automated Reasoning (pp. 292-297).
45. Wang, T. D., Parsia, B., et al. (2006). A Survey of the Web Ontology Landscape. Proceedings of the 5th International Semantic Web Conference (ISWC 2006) (pp. 682-694), Athens, GA, USA.
46. Wu, Z., Eadon, G., et al. (2008). Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle. 24th International Conference on Data Engineering. IEEE.
47. Zhou, J., Ma, L., et al. (2006). Minerva: A Scalable OWL Ontology Storage and Inference System. Proceedings of The First Asian Semantic Web Conference (ASWC), (pp. 429-443), Beijing, China.