Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen  Home/Search
Context Related
| cs.man.ac.uk/~horrocks/Pu...HoPH03a.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/~horr...publications (more) Homepages: I.Horrocks |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Cited by: More
Project No. 004074 - Project Acronym Naturnet-Redime (Correct)
Description Logics with Fuzzy Concrete Domains - Straccia Umberto Isti (2005) (Correct)
Uncertainty and Description Logic Programs over Lattices - Straccia (2005) (Correct)
Active bibliography (related documents): More All
0.4: Coupling OWL with MPEG-7 and TV-Anytime for.. - Tsinaraki.. (Correct)
0.3: Keys, Nominals, and Concrete Domains - Lutz, Areces, Horrocks, Sattler (2002) (Correct)
0.3: Stable Model Theory for Extended RDF - Ontologies Anastasia Analyti (Correct)
Similar documents based on text: More All
0.5: Web Ontology Language: OWL - Grigoris Antoniou And (2003) (Correct)
0.4: A Proposal for an OWL Rules Language - Horrocks, Patel-Schneider (2004) (Correct)
0.4: Knowledge Representation on the Web - Decker, Fensel, van Harmelen.. (2000) (Correct)
Related documents from co-citation: More All
9: Scientific American (context) - Berners-Lee, Handler et al. - 2001
8: Reducing OWL entailment to description logic satisfiability - Horrocks, Patel-Schneider - 2003
7: RACER system description - Haarslev, Moller - 2001
BibTeX entry: (Update)
I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7--26, 2003. http://citeseer.ist.psu.edu/horrocks03from.html More
@article{ horrocks03from,
author = "I. Horrocks and P. Patel-Schneider and F. van Harmelen",
title = "From {SHIQ} and {RDF} to {OWL}: The making of a web ontology language",
journal = "Journal of Web Semantics",
volume = "1",
number = "1",
pages = "7--26",
year = "2003",
url = "citeseer.ist.psu.edu/horrocks03from.html" }
Citations (may not include all citations):161 Resource Description Framework (context) - Brickley, Guha - 2000
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
118 Using an expressive description logic: FaCT or fiction - Horrocks - 1998
108 RDF Vocabulary Description Language (context) - Brickley, Guha
88 The DARPA Agent Markup Language (context) - Hendler, McGuinness - 2000
85 XML Schema Part 2: Datatypes (context) - Biron, Malhotra - 2002
82 RACER system description - Haarslev, Moller - 2001
75 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991
73 Resource Description Framework (context) - Klyne, Carroll - 2003
71 OIL: An ontology infrastructure for the semantic web - Fensel, van Harmelen et al. - 2001
65 The Description Logic Handbook (context) - Baader, Calvanese et al. - 2002
54 OKBC: A programmatic foundation for knowledge base interoper.. - Chaudhri, Farquhar et al. - 2001
51 IEEE Intelligent Systems (context) - McIlraith, Son et al. - 2001
50 Ontological issues for knowledge-enhanced search (context) - McGuinness - 1998
40 Enabling knowledge representation on the web by extending RD.. - Broekstra, Klein et al. - 2001
34 OWL web ontology language reference (context) - Dean, Connolly et al. - 2003
32 Dynamic ontologies on the web - Heflin, Hendler - 2000
32 OWL web ontology language guide (context) - Smith, Welty et al. - 2003
31 Practical reasoning for very expressive description logics - Horrocks, Sattler et al. - 2000
30 A software framework for matchmaking based on semantic web t.. - Li, Horrocks - 2003
28 WC Working Draft (context) - Web, owl et al. - 2003
27 RDFXML syntax specification (context) - RDF, specification et al. - 2002
22 Knowledge representation on the web - Decker, Fensel et al. - 2000
19 The Complexity of Reasoning with Concrete Domains - Lutz - 2002
19 XOL: An XML-based ontology exchange language (context) - Karp, Chaudhri et al. - 1999
14 A modeltheoretic semantics for DAML+OIL (context) - van Harmelen, Horrocks et al. - 2001
13 San Francisco (context) - Berners-Lee, Web - 1999
11 Complexity Results and Practical Algorithms for Logics in Kn.. - Tobies - 2001
11 OIL: The Ontology Inference Layer (context) - Horrocks, Fensel et al. - 2000
10 OWL web ontology language semantics and abstract syntax (context) - Patel-Schneider, Hayes et al. - 2003
10 and Lynn Andrea Stein (context) - Connolly, van Harmelen et al. - 2001
8 The design and evolution of Protege (context) - Grosso, Eriksson et al. - 1999
6 Ontologies for electronic commerce - McGuinness - 1999
5 SHOE: A Knowledge Representation Language for Internet Appli.. (context) - Heflin, Hendler et al. - 1999
4 Ontology reasoning in the description logic (context) - Horrocks, Sattler - 2001
4 WC Working Draft (context) - Manola, Rdf et al. - 2003
3 Available at http://www (context) - Hayes, Draft - 2003
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/~horrocks/Publications/publications.html): More
FaCT and DLP - Horrocks, Patel-Schneider (Correct)
Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
Knowledge Representation on the Web - Decker, Fensel, van Harmelen.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC