Evaluation of ontologies and DL reasoners

IFIP International Federation for Information Processing

Volumn 288, Issue , 2008, Pages 17-27

  Fahad, Muhammad ^a   Qadir, Muhammad Abdul ^a   Shah, Syed Adnan ^a  

^a CAPITAL UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Pakistan)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; DATA DESCRIPTION; ERRORS; INTEROPERABILITY; INFORMATION SCIENCE; SEMANTIC WEB;

CONSISTENCY CHECKING; DESCRIPTION LOGIC; INFERENCE SYSTEMS; OWL ONTOLOGIES; SATISFIABILITY; SEMANTIC INCONSISTENCIES; SEMANTIC WEB ONTOLOGIES; SIDE EFFECT; STATE OF THE ART;

FORMAL LOGIC;

EID: 52449101875     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-87685-6_5     Document Type: Article

References (23)

1. G. Antoniou, and F.V. Harmelen, A Semantic Web Primer. MIT Press Cambridge, ISBN 0-262-01210-3, 2004.
2. J. Baumeister, and D.S. Seipel, Owls-Design Anomalies in Ontologies, 18th Intl. Floida Artificial Intelligence Research Society Conference (FLAIRS), pp 251-220, 2005.
3. C. Brewster et al, Data driven ontology evaluation. Proceedings of Intl. Conf. on Language Resources and Evaluation, Lisbon, 2004.
4. M. Fahad, M.A. Qadir, M.W. Noshairwan, N. Iftikhar,. DKP-OM: A Semantic Based Ontology Merger. In Proc. 3rd International conference on Semantic Technologies, I-Semantics 5-7 September 2007, Journal of Universal Computer Science (J.UCS). 2007a
5. M. Fahad, M.A. Qadir, W. Noshairwan, Semantic Inconsistency Errors in Ontologies. Proc. of GRC 07, Silicon Valley USA. IEEE CS. pp 283-286, 2007b.
6. A. Gomez-Perez, Some ideas and examples to evaluate ontologies. KSL, Stanford University., 1994.
7. A. Gomez-Perez, M.F. Lopez, and O.C. Garcia, Ontological Engineering: With Examples from the Areas of Knowledge Management, E-Commerce and the Semantic Web. Springer ISBN:1-85253-55j-3, 2001.
8. A. Gomez-Perez et al., Evaluation of Taxonomic Knowledge on Ontologies and Knowledge-Based Systems. Intl. Workshop on Knowledge Acquisition, Modeling and Management., 1999.
9. C. Jelmini, and S. M-Maillet, OWL-based reasoning with retractable inference", In RIAO Conference Proceedings 2004.
10. A. Maedche and S. Staab, Measuring similarity betwe- en ontologies. Proc. CIKM 2002. LNAI vol. 2473, 2002.
11. D. Nardi, et al. 2000. The Description Logic Handbook: Theory, Implementation, and Applications.
12. W. Noshairwan, M.A. Qadir, M.A., M. Fahad, Sufficient Knowledge Omission error and Redundant Disjoint Relation in Ontology. InProc. 5th Atlantic Web Intelligence Conference June 25-27, France, 2007a.
13. R. Porzel, R. Malaka, A task-based approach for ontology evaluation. ECAI Workshop Ont. Learning and Population, 2004.
14. M.A. Qadir, W. Noshairwan, Warnings for Disjoint Knowledge Omission in Ontologies. Second International Conference on internet and Web Applications and Services (ICIW07). IEEE, p. 45, 2007a.
15. M.A. Qadir, M. Fahad, S.A.H. Shah, Incompleteness Errors in Ontologies. Proc. of Intl GRC 07, USA. IEEE Computer Society. pp 279-282, 2007b.
16. K. Supekar, A peer-review approach for ontology evaluation. Proc. 8th Intl. Protégé Conference, Madrid, Spain, July 18-21, 2005.
17. M. Fahad, and M.A. Qadir, A Framework for ontology evaluation. 16th Intl. Proceeding of Conceptual Structures. July 2008, France. Vol-354, pages 149-158, 2008a.
18. M. Fahad, M.A. Qadir, M.W. Noshairwan, Ontological Errors: Inconsistency, Incompleteness and Redundancy. (to appear) In proc. 10th International Conference on Enterprise Information Systems (ICEIS'08). June 2008. Barcelona, Spain, 2008b.
19. V. Haarslev, R. Möller, Racer system description. In Gor'e, R., Leitsch, A., Nipkow, T., eds.: International Joint Conference on Automated Reasoning, IJCAR' 2001, June 18-23, Siena, Italy, Springer-Verlag (2001) 701-705
20. Z. Pan, Benchmarking DL Reasoners Using Realistic Ontologies. Bell Labs Research and Lehigh University, 2007
21. B. Parsia, E. Sirin, Pellet: An owl dl reasoner. In: Proc. International Semantic Web Conference. (2005)
22. I. Horrocks, U. Sattler, A tableaux decision procedure for SHOIQ. In: Proceedings of Nineteenth International Joint Conference on Artificial Intelligence. (2005)
23. I. Horrocks, The FaCT System. International conference. on Analytic Tableaux and Related Methods (TABLEAUX'98), pp 307-312,vol 1397, Springer-Verlag, 1998