Verification and refactoring of ontologies with rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4248 LNAI, Issue , 2006, Pages 82-95

  Baumeister, Joachim ^a   Seipel, Dietmar ^a  

^a UNIVERSITY OF WÜRZBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; WORLD WIDE WEB;

APPROPRIATE RULE REPRESENTATION LAYER; ONTOLOGY; SYNTACTIC VERIFICATION;

SEMANTICS;

EID: 33750707218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11891451_11     Document Type: Conference Paper

References (16)

1. Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic Web Architecture: Stack or Two Towers? In Pages, F., Soliman, S., eds.: Principles and Practice of Semantic Web Reasoning (PPSWR). Number 3703 in LNCS, SV (2005) 37-41
2. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation. Journal of Web Semantics 3(1) (2005) 23-40
3. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language - Combining OWL and RuleML, W3C Member Submission. http://www.w3.org/Submission/SWRL/ (May 2004)
4. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference - W3C Recommendation, http://www.w3.org/TR/owl-ref/ (Feb. 2004)
5. Guarino, N., Welty, C.: Evaluating Ontological Decisions with OntoClean. Communications of the ACM 45(2) (2002)
6. Rector, A.L., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns. In: Engineering Knowledge in the Age of the Semantic Web: 14th International Conference, EKAW, LNAI 3257, Springer (2004) 157-171
7. Gómez-Pérez, A.: Evaluation of Ontologies. International Journal of Intelligent Systems 16(3) (2001) 391-409
8. Preece, A., Shinghal, R.: Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems 9 (1994) 683-702
9. Preece, A., Shinghal, R., Batarekh, A.: Verifying Expert Systems. A Logical Framework and a Practical Tool. Expert Systems with Applications 5(3/4) (1992) 421-436
10. Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Berlin (1990)
11. Fowler, M.: Refactoring. Improving the Design of Existing Code. Addison-Wesley (1999)
12. Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois, Urbana-Champaign, IL, USA (1992)
13. Baumeister, J., Seipel, D., Puppe, F.: Refactoring Methods for Knowledge Bases. In: Engineering Knowledge in the Age of the Semantic Web: 14th International Conference, EKAW, LNAI 3257, Springer (2004) 157-171
14. Baumeister, J., Seipel, D.: Smelly Owls - Design Anomalies in Ontologies. In: Proc. of the 18th International Florida Artificial Intelligence Research Society Conference (FLAIRS), AAAI Press (2005) 215-220
15. Patel-Schneider, P.F.: A Proposal for a SWRL Extension to First-Order Logic. http://www.daml.org/2004/11/fol/proposal (Nov. 2004)
16. Zlatareva, N.: Testing the Integrity of Non-Monotonic Knowledge Bases Containing Semi-Normal Defaults. In: Proc. of the 17th International Florida Artificial Intelligence Research Society Conference (FLAIRS), AAAI Press (2004) 349-354