Processing OWL2 Ontologies using Thea: An Application of Logic Programming.

Vangelis Vassiliadis Jan Wielemaker Chris Mungall

Published in: OWLED (2009)

Keyphrases

logic programming
owl ontologies
logic programs
knowledge base
answer set programming
knowledge representation
nonmonotonic reasoning

logic programming language
programming language
default logic
computational logic
deductive databases
answer sets

production rules
reasoning tasks
constraint logic programming
description logics
stable models
semantic annotation

defeasible argumentation
artificial intelligence
knowledge acquisition
general purpose
natural language processing
disjunctive logic programming