Category:Logic formalism
From semanticweb.org
By logic formalism we describe languages directly related to logics with abstract semantics. Opposed to ontology languages, there will hardly be real-web instances; they are rather thought to provide the theoretical basics for designing the ontology languages.
This category currently contains no pages or media.
