Next steps for OWL

CEUR Workshop Proceedings

Volumn 216, Issue , 2006, Pages

  Grau, Bernardo Cuenca ^a   Horrocks, Ian ^a   Parsia, Bijan ^a   Patel Schneider, Peter ^b   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

IMPLEMENTABILITY; WEB ONTOLOGY LANGUAGE;

COMPUTABILITY AND DECIDABILITY;

BIRDS;

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

References (21)

1. Paul V. Biron and Ashok Malhotra. XML schema part 2: Datatypes. W3C Recommendation, May 2001.
2. B. Cuenca-Grau. OWL 1.1 Web Ontology Language Model-theoretic Semantics. Draft Document, 2005.
3. B. Cuenca-Grau. Tractable Fragments of the OWL 1.1 Web Ontology Language. Draft Document, 2005.
4. Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 16(2):38-45, 2001.
5. Volker Haarslev and Ralf Möller. RACER system description. In Proc. of IJCAR 2001, 2001.
6. Patrick Hayes. RDF model theory. W3C Recommendation, 10 February 2004.
7. Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The even more irresistible SROIQ. In KR-06, 2006. To appear.
8. Ian Horrocks and Peter Patel-Schneider. Reducing OWL entailment to description logic satisfiability. J. of Web Semantics, 1(4):345-357, 2004.
9. Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of WWW 2004, 2004.
10. Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7-26, 2003.
11. Ian Horrocks and Ulrike Sattler. Decidability of SHIQ with complex role inclusion axioms. In Proc. of IJCAI 2003, 2003.
12. A. Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca-Grau, and James Hendler. SWOOP: a web ontology editing browser. J. of Web Semantics, 4(2), 2005.
13. T. Liebig and O. Noppens. Ontotrack: Combining browsing and editing with reasoning and explaining for owl ontologies. In Proc. of ISWC 2004, 2004.
14. Boris Motik. On the properties of metamodeling in OWL. In Proc. of ISWC 2005, 2005.
15. Peter Patel-Schneider. Building the semantic web tower from RDF straw. In Proc. of IJCAI 2005, 2005.
16. Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL web ontology language semantics and abstract syntax. W3C Recommendation, 10 February 2004.
17. Protégé. http://protege.stanford.edu/, 2003.
18. E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpur, and Y. Katz. Pellet: A practical owl-dl reasoner. To appear, 2005.
19. K. Spackman. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. J. of the Amer. Med. Informatics Ass., 2000. Fall Symposium Special Issue.
20. Dmitry Tsarkov and Ian Horrocks. Efficient reasoning with range and domain constraints. In Proc. of the 2004 Description Logic Workshop (DL 2004), 2004.
21. K. Wolstencroft, A. Brass, I. Horrocks, P. Lord, U. Sattler, D. Turi, and R. Stevens. A little semantic web goes a long way in biology. In Proc. of ISWC 2005, 2005.