TY  - CONF
AU  - Grosof, Benjamin
AU  - Horrocks, Ian
AU  - Volz, Raphael
AU  - Decker, Stefan
A2  - 
T1  - Description Logic Programs: Combining Logic Programs with Description Logics
T2  - Proc. of WWW-2003
PB  - 
C1  - Budapest, Hungary
PY  - 2003/05
CY  -  
VL  - 
IS  - 
SP  - 
EP  - 
UR  - 
DO  - 
KW  - dl
L1  - 
SN  - 
N1  - 
N1  - 
AB  - 
ER  -

TY  - JOUR
AU  - Horrocks, Ian
AU  - Patel-Schneider, Peter F.
AU  - van Harmelen, Frank
T1  - From SHIQ and RDF to OWL: the making of a Web Ontology Language
JO  - Web Semantics: Science, Services and Agents on the World Wide Web
PY  - 2003/
VL  - 1
IS  - 1
SP  - 7
EP  - 26
UR  - http://www.sciencedirect.com/science/article/pii/S1570826803000027
DO  - 10.1016/j.websem.2003.07.001
KW  - rdf
KW  - dl
KW  - semantic
KW  - owl
KW  - web
L1  - 
SN  - 
N1  - 
N1  - 
AB  - The OWL Web Ontology Language is a new formal language for representing ontologies in the Semantic Web. OWL has features from several families of representation languages, including primarily Description Logics and frames. OWL also shares many characteristics with RDF, the W3C base of the Semantic Web. In this paper, we discuss how the philosophy and features of OWL can be traced back to these older formalisms, with modifications driven by several other constraints on OWL. Several interesting problems have arisen where these influences on OWL have clashed.
ER  -

TY  - JOUR
AU  - Bechhofer, Sean
AU  - Horrocks, Ian
AU  - Goble, Carole
AU  - Stevens, Robert
T1  - OilEd: A Reason-able Ontology Editor for the Semantic Web
JO  - LNCS
PY  - 2001/
VL  - 2174
IS  - 
SP  - 
EP  - 
UR  - citeseer.nj.nec.com/bechhofer01oiled.html
DO  - 
KW  - reason
KW  - oiled
KW  - semantic
KW  - editor
KW  - ontology
KW  - web
L1  - 
SN  - 
N1  - 
N1  - 
AB  - 
ER  -