A flexible ontology reasoning architecture for the semantic Web

IEEE Transactions on Knowledge and Data Engineering

Volumn 19, Issue 2, 2007, Pages 246-260

  Pan, Jeff Z ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Knowledge representation; Ontology; Reasoning architecture; User defined data types and data type predicates

Indexed keywords

DATA TYPE PREDICATES; ONTOLOGIES; REASONING ARCHITECTURE;

DATA STRUCTURES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; SEMANTICS; WORLD WIDE WEB;

KNOWLEDGE BASED SYSTEMS;

EID: 33846197417     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2007.17     Document Type: Article

References (50)

1. F. Baader and P. Hanschke, "A Schema for Integrating Concrete Domains into Concept Languages," Proc. 12th Int'l Joint Conf. Artificial Intelligence, pp. 452-457, 1991.
2. F. Baader and W. Nutt, "Basic Description Logics," The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43-95, Cambridge Univ. Press, 2003.
3. N. Bassiliades, G. Antoniou, and I. Vlahavas, "A Defeasible Logic Reasoner for the Semantic Web," Int'l J. Semantic Web and Information Systems, vol. 2, no. 1, 2006.
4. S. Bechhofer, "The DIG Description Logic Interface: DIG/1.1," http://dl-web.man.ac.uk/dig/2003/02/interface.pdf, 2003.
5. "OWL Web Ontology Language Reference,"S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Stein, eds., http://www.w3.org/TR/owl-ref/, Feb. 2004.
6. 2," Proc. Int'l Conf. Formal Ontology in Information Systems, 1998.
7. S. Bergamaschi, S. Castano, S. DeCapitani di Vimercati, S. Montanari, and M. Vincici, "An Intelligent Approach to Information Integration," Proc. Int'l Conf. Formal Ontology in Information Systems, 1998.
8. S. Brandt, "On Subsumption and Instance Problem in ELH w.r.t General TBoxes," Proc. Int'l Workshop Description Logics, 2004.
9. D. Calvanese, G. DeGiacomo, D. Lembo, M. Lenzerini, and R. Rosati, "DL-Lite: Tractable Description Logics for Ontologies," Proc. 20th Nat'l Conf. Artificial Intelligence (AAAI '05), pp. 602-607, 2005.
10. J.J. Carroll and J.Z. Pan, "XML Schema Data types in RDF and OWL," W3C Note, Mar. 2006, http://www.w3.org/TR/swbp-xsch-datatypes/.
11. A. Coucho, "Improving Web Searching Using Descriptive Graphs," Proc. Ninth Int'l Conf. Applications of Natural Language to Information Systems, pp. 23-25, 2004.
12. FaCT++, http://owl.man.ac.uk/factplusplus/, 2003.
13. N. Guarino, "Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration," Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology, M.T. Pazienza, ed., Int'l Summer School, SCIE-97, pp. 139-170, 1997.
14. V. Haarslev and R. Möller, "Practical Reasoning in RACER with a Concrete Domain for Linear Inequations," Proc. Int'l Workshop Description Logics, pp. 91-98, 2002.
15. V. Haarslev, R. Möller, and A. Turhan, "Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics," Proc. Int'l Joint Conf. Automated Reasoning, pp. 61-75, 2001.
16. V. Haarslev and R. Möller, "RACER System Description," Proc. Int'l Joint Conf. Automated Reasoning, 2001.
17. I. Horocks, D. Fensel, J. Broestra, S. Decker, M. Erdmann, C. Goble, F. van Harmelen, M. Klein, S. Staab, R. Studer, and E. Motta, "The Ontology Inference Layer OIL," OIL technical report, Aug. 2000.
18. I. Horrocks, "Using an Expressive Description Logic: FaCT or Fiction?" Proc. Int'l Conf. Knowkdge Representation, pp. 636-647, 1998.
19. I. Horrocks, "FaCT and iFaCT," Proc. Int'l Workshop Description Logics, pp. 133-135, 1999.
20. I. Horrocks and P.F. Patel-Schneider, "Reducing OWL Entailment to Description Logic Satisfiability," Proc. Second Int'l Semantic Web Conf., pp. 17-29, 2003.
21. I. Horrocks and U. Sattler, "Ontology Reasoning in the SHOQ(D) Description Logic," Proc. Int'l Joint Conf. Artificial Intelligence, pp. 199-204, 2001.
22. I. Horrocks and U. Sattler, "Optimised Reasoning for SHIQ," Proc. 15th European Conf. Artificial Intelligence, pp. 277-281, 2002.
23. I. Horrocks and U. Sattler, "A Tableaux Decision Procedure for SHOIQ," Proc. 19th Int'l Joint Conf. Artificial Intelligence, 2005.
24. I. Horrocks, U. Sattler, and S. Tobies, "A Description Logic with Transitive and Converse Roles, Role Hierarchies, and Qualifying Number Restrictions," LTCS-Report LTCS-99-08, LuFG Theoretical Computer Science, RWTH Aachen, 1999, http://www-lti.informatik.rwth-aachen.de/Forschung/Reports. html.
25. I. Horrocks and S. Tessaris, "Querying the Semantic Web: A Formal Approach," Proc. First Int'l Semantic Web Conf., pp. 177-191, 2002.
26. KAON2, http://kaon2.semanticweb.org/, 2005.
27. A. Kiryakov, B. Popov, D. Ognyanoff, D. Manov, A. Kirilov, and M. Goranov, "Semantic Annotation, Indexing, and Retrieval," Proc. Int'l Semantic Web Conf., 2003.
28. L. Li and I. Horrocks, "A Software Framework for Matchmaking Based on Semantic Web Technology," Proc. 12th Int'l World Wide Web Conf., pp. 331-339, 2003.
29. C. Lutz, "The Complexity of Reasoning with Concrete Domains," PhD thesis, RWTH Aachen, 2001.
30. A. Maier, H. Schnurr, and Y. Sure, "Ontology-Based Information Integration in the Automotive Industry," Proc. Int'l Semantic Web Conf., 2003.
31. A. Malhotra, J. Melton, and N. Walsh, "XQuery 1.0 and XPath 2.0 Functions and Operators," W3C Working Draft, http://www.w3.org/TR/xpath- functions/, July 2004.
32. D.L. McGuinness, "Ontological Issues for Knowledge-Enhanced Search," Proc. Int'l Conf. Formal Ontology in Information Systems, 1998.
33. E. Mena, V. Kashyap, A. Illarramendi, and A. Sheth, "Domain Specific Ontologies for Semantic Information Brokering on the Global Information Infrastructure," Proc. Int'l Conf. Formal Ontology in Information Systems, 1998.
34. J.Z. Pan, "A Flexible Ontology Reasoning Architecture for the Semantic Web," http://www.csd.abdn.ac.uk/jpan/research/TR/architecture.pdf.
35. J.Z. Pan, "Description Logics: Reasoning Support for the Semantic Web," PhD thesis, School of Computer Science, The Univ. of Manchester, 2004.
36. J.Z. Pan, "Reasoning Support for OWL-E (Extended Abstract)," Proc. Doctoral Programme in the 2004 Int'l Joint Conf. Automated Reasoning (IJCAR '04), July 2004.
37. J.Z. Pan and I. Horrocks, "Extending Data Type Support in Web Ontology Reasoning," Proc. Int'l Conf. Ontologies, Databases, and Applications of Semantics, pp. 1067-1081, 2002.
38. J.Z. Pan and I. Horrocks, "Reasoning in the SHOQ(Dn) Description Logic," Proc. Int'l Workshop Description Logics (DL '02), 2002.
39. J.Z. Pan and I. Horrocks, "Web Ontology Reasoning with Data type Groups," Proc. Second Int'l Semantic Web Conf., 2003.
40. J.Z. Pan and I. Horrocks, "OWL-Eu: Adding Customised Data types into OWL," Proc. Second European Semantic Web Conf., pp. 153-166, 2005.
41. P.F. Patel-Schneider, P. Hayes, and I. Horrocks, "OWL Web Ontology Language Semantics and Abstract Syntax," technical report, W3C, Feb. 2004.
42. Pellet, http://www.mindswap.org/2003/pellet/, 2003.
43. "SPARQL Query Language for RDF,"W3C Candidate Recommendation, E. Prud'hommeaux and A. Seaborne eds., http://www.w3.org/TR/rdf-sparql-query/, 2006.
44. http://lists.w3.org/archives/public/www-rdf-logic/, W3C Mailing List, starts from 2001.
45. http://lists.w3.org/archives/public/public-swbp-wg/, W3C Mailing List, starts from 2004.
46. A. Sheth, C. Ramakrishnan, and C. Thomas, "Semantics for the Semantic Web: The Implicit, the Formal and the Powerful," Int'l J. Semantic Web and Information Systems, vol. 1, no. 1, 2005.
47. N. Stojanovic, "On the Query Refinement in the Ontology-Based Searching for Information," Proc. Professionelles Wissesmanagement - Erfahrungen und Visionen, Beiträge der 2. Konferenz Professionelles Wissensmanagement (WM '03), 2003.
48. A. Turhan and V. Haarslev, "Adapting Optimization Techniques to Description Logics with Concrete Domains," Proc. Int'l Workshop Description Logics, pp. 247-256, 2000.
49. S. Wang and J.Z. Pan, "Ontology-Based Representation and Query of Colour Descriptions from Botanical Documents," Proc. Fourth Int'l Conf. Ontologies, Databases, and Applications of Semantics, pp. 1279-1295, 2005.
50. C.A. Welty, "The Ontological Nature of Subject Taxonomies," Proc. Int'l Conf. Formal Ontology in Information Systems, 1998.