Extending the Instance Store Lei Li Information Management Group Department...  Home/Search
Context
Related
| sunsite.informatik.rwthaa...08lli.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: sunsite.informatik.rwthaachen... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction The Semantic Web [2] aims at enabling Web resources to be accessible to automated processes by adding "semantic annotations"---metadata (data about data) that describes their content. It is envisaged that the semantics in semantic annotations will be given by ontologies [8], which will provide a source of precisely defined terms (vocabularies) that are amenable to automated reasoning. A standard for expressing ontologies in the Semantic Web has already emerged: the ontology... (Update)
Active bibliography (related documents): More All
0.7: The Instance Store: - Dl Reasoning With (2004) (Correct)
0.7: The Instance Store:Description Logic Reasoning with.. - Horrocks, Li, Turi.. (2004) (Correct)
0.5: An Optimization for Query Answering on - Database Pakornpong Pothipruk (Correct)
Similar documents based on text: More All
0.2: Matchmaking Using an Instance Store: - Some Preliminary Results (Correct)
0.0: Proof-theoretical considerations about the Logic of.. - Martins, Pequeno (1993) (Correct)
0.0: An estimate of the cross-talk matrix in four-dye.. - Lei Li Terence (Correct)
BibTeX entry: (Update)
@misc{ instance-reasoning,
author = "Extending The Instance",
title = "Reasoning with Large Numbers of Individuals Moves on:",
url = "citeseer.ist.psu.edu/701342.html" }
Citations (may not include all citations):304 A framework for representing knowledge (context) - Minsky - 1975
130 Semantic memory (context) - Quillian - 1968
103 The Description Logic Handbook: Theory (context) - Baader, Calvanese et al. - 2003
82 RACER system description - Haarslev, oller - 2001
72 A translation approach to portable ontologies (context) - Gruber - 1993
37 OWL web ontology language (context) - Dean, Connolly et al. - 2002
34 Deduction in concept languages: From subsumption to instance.. - Donini, Lenzerini et al. - 1994
31 Semtag and seeker: Bootstrapping the semantic web via automa.. - Dill, Eiron et al. - 2003
30 A software framework for matchmaking based on semantic web t.. - Li, Horrocks - 2003
25 Reducing owl entailment to description logic satisfiability - Horrocks, Patel-Schneider - 2003
23 TBox and ABox reasoning in expressive description logics (context) - De Giacomo, Lenzerini - 1996
13 San Francisco (context) - Berners-Lee, Web - 1999
12 Questions and Answers: Reasoning and Querying in Description.. (context) - Tessaris - 2001
6 Consistency checking reduced to satisfiability of concepts i.. (context) - Hollunder - 1996
4 A semantic infosphere - Uschold, Clark et al. - 2003
2 The instance store: Description logic reasoning with large n.. - Horrocks, Li et al. - 2004
http://www.ebi.ac.uk/GOA/
Documents on the same site (http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-106/): More
Uniform Variable Splitting - Antonsen (Correct)
A Tableau System for the Description Logic SHIO - Hladik (Correct)
Proof Reuse for Program Verification Calculi - Beckert, Klebanov (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