OWLer: A semantic web ontology inference engine

The 7th International Conference on Advanced Communication Technology, ICACT 2005

Volumn 2, Issue , 2005, Pages 1077-1080

  Ha, Young Guk ^a   Sohn, Joo Chan ^a   Cho, Young Jo ^a  

^a Electronics and Telecommunications Research Institute (ETRI)   (South Korea)

Author keywords

Axiomatization; Description logic; First order logic; Inference; OWL; Semantic Web; Web ontology

Indexed keywords

AXIOMATIZATION; DESCRIPTION LOGIC; FIRST ORDER LOGIC; INFERENCE; OWL; SEMANTIC WEB; WEB ONTOLOGY;

LOGIC PROGRAMMING; RESOURCE ALLOCATION; SEMANTICS; THEOREM PROVING; WORLD WIDE WEB;

INFERENCE ENGINES;

EID: 33744977277     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Benjamin N. Grosof, Ian Horrocks, et al., "Description logic programs: Combining logic programs with description logic," WWW 2003, Budapest, May.21.2003.
2. DARPA, "DAML+OIL," http://www.daml.org/2001/03/daml+oil-index. html, Mar.2001.
3. DARPA, "OWL-S 1,0 Release," http://www.daml.org/services/owl-s/ l_0/, Nov.2003.
4. Franz Baader, Diego Calvanese, Deborah McGuinness, et al., "The Description Logic Handbook," Cambridge University Press, Jan.2003.
5. HP Labs, "RDQL - RDF Data Query Language," http://www.hpl.hp. com/semweb/rdql.htm, 2004.
6. Ian Horrocks, Peter F. Patel-Schneider, "Three Theses of Representation in the Semantic Web," WWW2003, Budapest, May.21.2003.
7. KSL, Stanford Univ., "JTP: An Object-Oriented Modular Reasoning System," http://www.ksl.stanford.edu/software/JTP/, Jul.8.2004.
8. KSL Stanford Univ., "Knowledge Interchange Format (KIF)," http://www-ksl.stanford.edu/knowledge-sharing/kif.
9. OntoKnowledge, "Description of OIL," http://www.ontoknowledge. org/oil/.
10. Parallel Understanding Systems Group, UMD, "SHOE: Simple HTML Ontology Extensions," http://www.es.umd.edu/projects/plus/SHOE/.
11. Raymond M. Smullyan, "First-Order Logic," Dover Publications, Jan.30.1995.
12. Richard Fikes, Deborah McGuinness, "An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL," http://www.w3.org/TR/daml+oil-axioms, Dec. 18.2001.
13. S. R. Oh, "IT based Intelligent Service Robot," RCV03 Invited talk, Las Vegas, Oct.26.2003.
14. Sun Microsystems, "JavaServer Pages Technology," http://www.sun.com/products/jsp/.
15. W3C Member Submission, "SWRL: A Semantic Web Rule Language," http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/ /, May.21.2004.
16. W3C Recommendation, "OWL Web Ontology Language Guide," http://www.w3.org/TR/owl-guide/, Feb. 10.2004.
17. W3C Recommendation, "OWL Web Ontology Language Test Cases," http://www.w3c.org/TR/owl-test/, Feb. 10.2004.
18. W3C Recommendation, "RDF(Resource Description Framework) Primer," http://www.w3c.org/TR/rdf-primer/, Feb.10.2004.
19. W3C Recommendation, "SOAP Version 1.2 Part 0: Primer," http://www.w3.org/TR/soap12-part0/, Jun. 12.2003.
20. W3C Working Group Note, "Web Services Architecture," http://www.w3c.org/TR/ws-arch/, Feb. 11.2004.