Ian Horrocks, Peter F. Patel-Schneider  @ NUS Home/Search
Context Related
| www2004.org/proceedings/doc...1p723.pdf Cached: PS.gz PS PDF Image Update Help From: www2004.org/proceeding...contents (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Although the OWLWeb Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present ORL (OWL Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. ORL extends OWL in a syntactically and semantically coherent manner: the basic syntax for ORL rules is an extension of the abstract syntax for OWL DL and OWL Lite; ORL rules are given... (Update)
Cited by: More
Verifying OWL and ORL Ontologies in PVS - Jin Song Dong (Correct)
Planning for Semantic Web Services - Evren Sirin And (2004) (Correct)
Stable Model Theory for Extended RDF - Ontologies Anastasia Analyti (Correct)
Active bibliography (related documents): More All
2.6: A Proposal for an OWL Rules Language - Ian Horrocks University (2004) (Correct)
0.3: Decidability of SHIQ with Complex Role Inclusion Axioms - Horrocks (2003) (Correct)
0.2: Restricted Role-Value-Maps in a Description Logic with.. - Baader (Correct)
Similar documents based on text: More All
0.3: DLP and FaCT - Patel-Schneider, Horrocks (1999) (Correct)
0.3: Three Theses of Representation in the Semantic Web - Horrocks, Patel-Schneider (2003) (Correct)
0.3: Optimising Propositional Modal Satisfiability for.. - Horrocks.. (1998) (Correct)
Related documents from co-citation: More All
4: SweetDeal: Representing agent contracts with exceptions using XML rules - Grosof, Poon - 2003
4: Semantic web languages for policy representation and reasoning: A comparison of .. (context) - Tonti, Bradshaw et al. - 2003
4: Design issues and challenges for rdf- and schema-based peer-to-peer systems - Nejdl, Siberski et al. - 2003
BibTeX entry: (Update)
I. Horrocks and P. F. Patel-Schneider. A proposal for an owl rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, 2004. http://citeseer.comp.nus.edu.sg/708410.html More
@misc{ horrocks04proposal,
author = "I. Horrocks and P. Patel-Schneider",
title = "A proposal for an owl rules language",
text = "I. Horrocks and P. F. Patel-Schneider. A proposal for an owl rules language.
In Proc. of the Thirteenth International World Wide Web Conference (WWW
2004). ACM, 2004.",
year = "2004",
url = "citeseer.comp.nus.edu.sg/708410.html" }
Citations (may not include all citations):240 Extensible Markup Language (context) - Language, Edition et al. - 2000
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
116 A semantics and complete algorithm for subsumption in the CL.. - Borgida, Patel-Schneider - 1994
91 Available at http://www (context) - Services, Daml-s et al. - 2003
73 The GRAIL concept modelling language for medical terminology (context) - Rector, Bechhofer et al. - 1997
40 Description logic programs: Combining logic programs with de.. - Grosof, Horrocks et al. - 2003
38 Combining Horn rules and description logics in CARIN (context) - Levy, Rousset - 1998
27 The undecidability of the dominoe problem (context) - Berger - 1966
27 A framework for Part-of hierarchies in terminological logics - Padgham, Lambrix - 1994
26 Number restrictions on complex roles in description logics: .. - Baader, Sattler - 1996
24 From SHIQ and RDF to OWL: The making of a web ontology langu.. - Horrocks, Patel-Schneider et al. - 2003
18 Springer series in symbolic computation (context) - Lloyd, logic et al. - 1987
13 The Design and Implementation of Vampire (context) - Riazanov, Voronkov - 2002
11 Description logics for the representation of 730 aggregated .. - Sattler - 2000
11 re-usable medical ontology using a description logic with tr.. (context) - Rector, Horrocks et al. - 1997
10 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schau - 1989
8 The CLASSIC knowledge representation system: Guiding princip.. (context) - Patel-Schneider, McGuiness et al. - 1991
6 Semantic annotation of image collections - Hollink, Schreiber et al. - 2003
6 Available at http://www (context) - Berners-Lee, roadmap - 1998
5 Analysis of propagation along transitive roles: Formalisatio.. - Rector - 2002
5 OWL web ontology language XML presentation syntax (context) - Hori, Euzenat et al. - 2003
5 Representing disjunction and quantifiers in rdf - McDermott, Dou - 2002
5 Web ontology reasoning with datatype groups - Pan, Horrocks - 2003
5 Managing clinical terminology hierarchies using algorithmic .. (context) - Spackman - 2000
5 The effect of adding complex role inclusion axioms in descri.. (context) - Horrocks, Sattler - 2003
3 first-order prover (context) - Tsarkov, Horrocks et al. - 2003
http://www.w3.org/TR/owl-semantics/
http://www.w3.org/TR/rdf-concepts/
http://www.w3.org/TR/owl-guide/
http://www.w3.org/TR/rdf-mt/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.www2004.org/proceedings/docs/contents.htm): More
A Community-Aware Search Engine - Almeida, Almeida (2004) (Correct)
HuskySim: A Simulation Toolkit for Application Scheduling.. - Kerasha, Greenshields (2004) (Correct)
Reactive Rules Inference from Dynamic Dependency Models - Adi, Etzion, Gilat.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.