Consistency checking of Semantic Web ontologies

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

Volumn 2342 LNCS, Issue , 2002, Pages 454-459

  Baclawski, Kenneth ^a   Kokar, Mieczyslaw M ^b   Waldinger, Richard ^d   Kogut, Paul A ^c  

^a NORTHEASTERN UNIVERSITY   (United States)

^b Northeastern University   (United States)

^c LOCKHEED MARTIN   (United States)

^d SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; MODELING LANGUAGES; ONTOLOGY; SOFTWARE AGENTS; COMPUTATIONAL LINGUISTICS;

AUTONOMOUS SOFTWARE AGENTS; CONSISTENCY CHECKING; FORMAL ONTOLOGY; ONTOLOGY DEVELOPMENT; ONTOLOGY LANGUAGE; SEMANTIC WEB ONTOLOGIES;

SEMANTIC WEB;

EID: 84866246147     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48005-6_40     Document Type: Conference Paper

References (15)

1. G.Booch, J.Rumbaugh, and I.Jacobsen. UML Notation Guide, Version 1.1, September 1997.
2. Chimæra. Web site. www.ksl.Stanford.edu/software/chimaera.
3. DAML. DARPA Agent Markup Language Web Site, 2001.www.daml.org.
4. G. Frank. Hybrid reasoning architecture general purpose first-order logic theorem prover suite of special-purpose reasoners. www.ksl.stanford.edu/ software/JTP.
5. M.Genesereth. Knowledge Interchange Format draft proposed American National Standard (dpANS) NCITS. T2/98-004, 1998. Available at logic.stanford.edu/kif/dpans.html.
6. I.Horrocks. FaCT: Fast Classification of Terminologies Web Site. www.cs.man.ac.uk/~horrocks/FaCT.
7. Jess. Java expert system shell.herzberg.ca.sandia.gov/jess.
8. M.Kokar, J.Letkowski, K.Baclawski, and J.Smith. The ConsVISor consistency checking tool, March 2001.Available at vis.home.mindspring.com/consvisor.html.
9. D.McGuinness, R.Fikes, J.Rice, and S.Wilder. An environment for merging and testing large ontologies. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, April 12-15 2000.
10. OilEd. Ontology editor for DAML+OIL.oiled.man.ac.uk.
11. RDF. Resource description framework (RDF) model and syntax specification, Feburary 1999. www.w3.org/TR/REC-rdf-syntax.
12. SNARK. SRI's new automated reasoning kit. www.ai.sri.com/~stickel/snark. html.
13. M.E.Stickel, R.J.Waldinger, and V.K.Chaudhri. A Guide to SNARK. www.ai.sri.com/snark/tutorial/tutorial.html.
14. UML Based Ontology Toolset. Web Site, 2001.ubot.lockheedmartin.com.
15. F.Harmelen van, P.Patel-Schneider, I.Horrocks, D.Connolly, L.Stein, and D.McGuinness, editors. Annotated DAML+OIL Ontology Markup. DARPA Agent Markup Language, March 2001. www.daml.org/2001/03/daml+oil-walkthru.html.