package org.whole.lang.firstorderlogic.codebase;
import org.whole.lang.templates.AbstractTemplateFactory;
import org.whole.lang.builders.IBuilderOperation;
import org.whole.lang.firstorderlogic.reflect.FirstOrderLogicLanguageKit;
import org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder;
/**
* @generator Whole
*/
public class RDFTheory extends AbstractTemplateFactory {
public void apply(IBuilderOperation op) {
IFirstOrderLogicBuilder b0 = (IFirstOrderLogicBuilder) op.wGetBuilder(FirstOrderLogicLanguageKit.URI);
org.whole.lang.commons.builders.ICommonsBuilder cb = (org.whole.lang.commons.builders.ICommonsBuilder) op.wGetBuilder(org.whole.lang.commons.reflect.CommonsLanguageKit.URI);
b0.Theory_();
b0.Name("rdf");
cb.Resolver();
b0.Declarations_(28);
b0.NameDeclaration_();
b0.Name("Resource");
b0.SortType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("informationResource");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Literal");
b0.SimpleFeature("LiteralValue");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Property");
b0.SortType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("Property");
b0._EntityName();
b0._NameDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Property");
b0.Name("Resource");
b0._SubtypeDeclaration();
b0.NameDeclaration_();
b0.Name("Identifier");
b0.SortType();
cb.Resolver();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("ID");
b0.SortType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("AnonId");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("URI");
b0.SortType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("URI");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Statement");
b0.SortType();
cb.Resolver();
b0._NameDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Statement");
b0.Name("Resource");
b0._SubtypeDeclaration();
b0.NameDeclaration_();
b0.Name("subject");
b0.FunctionType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("stm");
b0.Name("Statement");
b0._VariableDeclaration();
b0._Parameters();
b0.Name("Resource");
b0._FunctionType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("predicate");
b0.FunctionType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("stm");
b0.Name("Statement");
b0._VariableDeclaration();
b0._Parameters();
b0.Name("Property");
b0._FunctionType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("object");
b0.FunctionType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("stm");
b0.Name("Statement");
b0._VariableDeclaration();
b0._Parameters();
b0.Name("Resource");
b0._FunctionType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0._EntityName();
b0._NameDeclaration();
b0.SubtypeDeclaration_();
b0.Name("ID");
b0.Name("Identifier");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("URI");
b0.Name("Identifier");
b0._SubtypeDeclaration();
b0.NameDeclaration_();
b0.Name("r");
b0.VariableType_();
b0.Name("Resource");
b0._VariableType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("IdentifierOf");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("i");
b0.Name("Identifier");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("r");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("identifier");
b0.FunctionType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.Name("Identifier");
b0._FunctionType();
cb.Resolver();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Id");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Literal");
b0.SimpleFeature("LiteralValue");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Uri");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Literal");
b0.SimpleFeature("LiteralValue");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Blank");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Literal");
b0.SimpleFeature("LiteralValue");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("id");
b0.FunctionType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.Name("ID");
b0._FunctionType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0.SimpleFeature("AnonId");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("uri");
b0.FunctionType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.Name("URI");
b0._FunctionType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Resource");
b0.SimpleFeature("URI");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("prop");
b0.FunctionType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.Name("Property");
b0._FunctionType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Resource");
b0.SimpleFeature("Property");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("literal");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Literal");
b0.SimpleFeature("LiteralValue");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Identifier");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("Literal");
b0.SimpleFeature("LiteralValue");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Literal");
b0.SortType();
b0.EntityName_();
b0.LanguageName("RDF");
b0.Name("Literal");
b0._EntityName();
b0._NameDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Literal");
b0.Name("Resource");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Identifier");
b0.Name("Literal");
b0._SubtypeDeclaration();
b0._Declarations();
b0.Assertions_(9);
b0.Axiom_();
b0.Name("NotLiteralSubject");
b0.ForAll_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("stm");
b0.Name("Statement");
b0._VariableDeclaration();
b0._Parameters();
b0.Not_();
b0.PredicateApplication_();
b0.SimplePredicate("literal");
b0.Arguments_(1);
b0.FunctionApplication_();
b0.SimpleFunction("subject");
b0.Arguments_(1);
b0.Variable("stm");
b0._Arguments();
cb.Resolver();
b0._FunctionApplication();
b0._Arguments();
b0._PredicateApplication();
b0._Not();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("Literalliteral");
b0.ForAll_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("lit");
b0.Name("Literal");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("literal");
b0.Arguments_(1);
b0.Variable("lit");
b0._Arguments();
b0._PredicateApplication();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("Uriuri");
b0.ForAll_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("u");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("Uri");
b0.Arguments_(1);
b0.Variable("u");
b0._Arguments();
b0._PredicateApplication();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("Idid");
b0.ForAll_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("i");
b0.Name("ID");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("Id");
b0.Arguments_(1);
b0.Variable("i");
b0._Arguments();
b0._PredicateApplication();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("Blankblank");
b0.ForAll_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("b");
b0.Name("Blank");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("blank");
b0.Arguments_(1);
b0.Variable("b");
b0._Arguments();
b0._PredicateApplication();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("blankRes");
b0.Coimplication_();
b0.PredicateApplication_();
b0.SimplePredicate("Blank");
b0.Arguments_(1);
b0.Variable("r");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("Id");
b0.Arguments_(1);
b0.FunctionApplication_();
b0.SimpleFunction("id");
b0.Arguments_(1);
b0.Variable("r");
b0._Arguments();
cb.Resolver();
b0._FunctionApplication();
b0._Arguments();
b0._PredicateApplication();
b0._Coimplication();
b0._Axiom();
b0.Axiom_();
b0.Name("URIXorId");
b0.Coimplication_();
b0.PredicateApplication_();
b0.SimplePredicate("Uri");
b0.Arguments_(1);
b0.FunctionApplication_();
b0.SimpleFunction("uri");
b0.Arguments_(1);
b0.Variable("r");
b0._Arguments();
cb.Resolver();
b0._FunctionApplication();
b0._Arguments();
b0._PredicateApplication();
b0.Not_();
b0.PredicateApplication_();
b0.SimplePredicate("Id");
b0.Arguments_(1);
b0.FunctionApplication_();
b0.SimpleFunction("id");
b0.Arguments_(1);
b0.Variable("r");
b0._Arguments();
cb.Resolver();
b0._FunctionApplication();
b0._Arguments();
b0._PredicateApplication();
b0._Not();
b0._Coimplication();
b0._Axiom();
b0.Axiom_();
b0.Name("Uriresid2blank");
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("u");
b0.Name("URI");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("r");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.Coimplication_();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifierOf");
b0.Arguments_(2);
b0.Variable("u");
b0.Variable("r");
b0._Arguments();
b0._PredicateApplication();
b0.Not_();
b0.PredicateApplication_();
b0.SimplePredicate("Blank");
b0.Arguments_(1);
b0.Variable("r");
b0._Arguments();
b0._PredicateApplication();
b0._Not();
b0._Coimplication();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("IdentifierOf2NotBlank");
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("i");
b0.Name("ID");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("r");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.Coimplication_();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifierOf");
b0.Arguments_(2);
b0.Variable("i");
b0.Variable("r");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("Blank");
b0.Arguments_(1);
b0.Variable("r");
b0._Arguments();
b0._PredicateApplication();
b0._Coimplication();
b0._ForAll();
b0._Axiom();
b0._Assertions();
b0._Theory();
}
}