I detta dokument undersöker vi hur man använder logik programmering (särskilt Prolog) som frågespråk mot OWL resurser. Vårt frågespråk kommer att kunna hämta data och meta-data om en given OWL-baserad ontologi. Med detta mål, för det första, studerar vi hur man definierar ett frågespråk baserat på ett fragment av Beskrivning Logic, sedan visar vi hur man kodar det definierade frågespråket i Prolog med hjälp av logiska regler och slutligen identifierar vi Prolog mål som motsvarar frågor.
Ett frågespråk för OWL baserat på Prolog presenteras i REF.
A Prolog-based Query Language for OWL
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}