Abstract
We describe the instance store, a system for reasoning about individuals (i.e. instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture, our system is able to perform efficient reasoning over large volumes of instance data, as required by many real world applications. © Springer-Verlag Berlin Heidelberg 2005.
| Original language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci. |
| Publisher | Springer Nature |
| Pages | 177-181 |
| Number of pages | 4 |
| Volume | 3632 |
| ISBN (Print) | 3540280057, 9783540280057 |
| DOIs | |
| Publication status | Published - 2005 |
| Event | 20th International Conference on Automated Deduction, CADE-20 - Tallinn Duration: 1 Jul 2005 → … http://dblp.uni-trier.de/db/conf/cade/cade2005.html#BechhoferHT05http://dblp.uni-trier.de/rec/bibtex/conf/cade/BechhoferHT05.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/BechhoferHT05 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|
Conference
| Conference | 20th International Conference on Automated Deduction, CADE-20 |
|---|---|
| City | Tallinn |
| Period | 1/07/05 → … |
| Internet address |