Querying Class-Relationship Logic in a Metalogic Framework

Nilsson J. F.

9th International Conference on Flexible Query Answering Systems (FQAS 2011), Ghent, Belçika, 26 - 28 Ekim 2011, cilt.7022, ss.96-107 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 7022
  • Basıldığı Şehir: Ghent
  • Basıldığı Ülke: Belçika
  • Sayfa Sayıları: ss.96-107
  • Anahtar Kelimeler: Querying knowledge bases and ontologies, DATALOG as metalogic, Analytic vs. synthetic knowledge
  • Orta Doğu Teknik Üniversitesi Adresli: Hayır

Özet

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 DATALOC logical language, which serves as an embracing decidable and tractable metalogic.