Querying Class-Relationship Logic in a Metalogic Framework
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
We introduce a class relationship logic for stating various
forms of logical relationships between classes. This logic is intended for
ontologies and knowledge bases and combinations thereof. Reasoning and
querying is conducted in the Datalog logical language, which serves as
an embracing decidable and tractable metalogic.
| Original language | English |
|---|---|
| Title | Flexible Query Answering Systems : 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings |
| Publisher | Springer |
| Publication date | 2011 |
| Pages | 96-107 |
| ISBN (print) | 978-3-642-24763-7 |
| ISBN (electronic) | 978-3-642-24764-4 |
| DOIs | |
| State | Published |
Conference
| Conference | 9th International Conference on Flexible Query Answering Systems |
|---|---|
| Number | 9 |
| Country | Belgium |
| City | Ghent |
| Period | 26-10-11 → 28-10-11 |
| Internet address | http://fqas2011.ugent.be/drupal6/ |
| Name | Lecture Notes in Artificial Intelligence |
|---|---|
| Number | 7022 |
| ISSN (Print) | 0302-9743 |
| Citations | Web of Science® Times Cited: No match on DOI |
|---|
Keywords
- Datalog as metalogic, Querying knowledge bases and ontologies, Analytic vs. synthetic knowledge
Loading map data...
ID: 6314681