Logic for Programming, Artificial Intelligence, and Reasoning: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Logic for Programming, Artificial Intelligence, and Reasoning: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
Contributor:
Tessaris, Sergio;
Horrocks, Ian
imprint:
Springer Berlin Heidelberg, 2002
Published in:Logic for Programming, Artificial Intelligence, and Reasoning