Open AccessIntegrated distributed description logics
Author(s) -
Antoine Zimmermann
Publication year - 2007
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - description logic , computer science , axiom , ontology , ontology components , formalism (music) , inference , satisfiability , invariant (physics) , ontology alignment , theoretical computer science , process ontology , artificial intelligence , semantic web , mathematics , art , musical , philosophy , geometry , epistemology , visual arts , mathematical physics