Example 1 with IFirstOrderLogicBuilder
use of org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder in project whole by wholeplatform.
the class RDFTheory method apply.
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();
}
Also used :
IFirstOrderLogicBuilder(org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder)
Example 2 with IFirstOrderLogicBuilder
use of org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder in project whole by wholeplatform.
the class TopicMapsTheory method apply.
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("topicmaps");
b0.ImportTheories();
b0.Declarations_(25);
b0.NameDeclaration_();
b0.Name("Datatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Datatype");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Identifiers");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("StringDatatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("IRIDatatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("XMLDatatype");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectLoactors");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectIdentifiers");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifiers");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Subject");
b0.SortType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("SubjectIndicator");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("URI");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("URI");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("ID");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Identifier");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Topic");
b0.SortType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0._EntityName();
b0._NameDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Datatype");
b0.Name("StringDatatype");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Datatype");
b0.Name("IRIDatatype");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Datatype");
b0.Name("XMLDatatype");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Identifiers");
b0.Name("SubjectLoactors");
b0._SubtypeDeclaration();
b0.SubtypeDeclaration_();
b0.Name("Identifiers");
b0.Name("SubjectIdentifiers");
b0._SubtypeDeclaration();
b0.NameDeclaration_();
b0.Name("Uri");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("URIS");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("id");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("Identifiers");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("sub");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Subject");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("top");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.EntityName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0._EntityName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("IdentifierOf");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectIndicator");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("sub1");
b0.Name("Subject");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("sub2");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("SubjectIndicator");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectIdentifier");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("SubjectLocator");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("Ref");
b0.PredicateType_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
cb.Resolver();
cb.Resolver();
b0._FeatureName();
b0._NameDeclaration();
b0._Declarations();
b0.Assertions_(4);
b0.PredicateDefinition_();
b0.SimplePredicate("IdentifiedTopic");
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifierOf");
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._ExistUnique();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.SimplePredicate("Ref");
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Or_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectIdentifiers");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectLocators");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._And();
b0._Exist();
b0._And();
b0._ExistUnique();
b0._PredicateDefinition();
b0.PredicateDefinition_();
b0.SimplePredicate("UnidentifiedTopic");
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("ID");
b0._VariableDeclaration();
b0._Parameters();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifierOf");
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._ExistUnique();
b0.Not_();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.SimplePredicate("Ref");
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Or_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectIdentifiers");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectLocators");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._And();
b0._Exist();
b0._Not();
b0._And();
b0._ExistUnique();
b0._PredicateDefinition();
b0.Axiom_();
b0.Name("SI2SL");
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.Coimplication_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectIdentifier");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.Not_();
b0.PredicateApplication_();
b0.SimplePredicate("SubjectLocator");
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Not();
b0._Coimplication();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("TopicIdentified");
b0.ForAll_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0.Or_();
b0.PredicateApplication_();
b0.SimplePredicate("IdentifiedTopic");
b0.Arguments_(1);
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("UnidentifiedTopic");
b0.Arguments_(1);
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._ForAll();
b0._Axiom();
b0._Assertions();
b0._Theory();
}
Also used :
IFirstOrderLogicBuilder(org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder)
Example 3 with IFirstOrderLogicBuilder
use of org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder in project whole by wholeplatform.
the class FirstOrderLogicLanguageDeployer method deploy.
public void deploy(ReflectionFactory platform) {
platform.addLanguageKit(new FirstOrderLogicLanguageKit());
platform.addOperationFactory(FirstOrderLogicLanguageKit.URI, GenericBuilderAdapterOperation.ID, new IBuilderFactory() {
public IBuilder create(IBuilder strategy, IEntityContext entityContext) {
return new FirstOrderLogicGenericBuilderAdapter((IFirstOrderLogicBuilder) strategy, entityContext);
}
});
platform.addOperationFactory(FirstOrderLogicLanguageKit.URI, SpecificBuilderAdapterOperation.ID, new IBuilderFactory() {
public IBuilder create(IBuilder strategy, IEntityContext entityContext) {
return new FirstOrderLogicSpecificBuilderAdapter(strategy, entityContext);
}
});
platform.addEditorKit(FirstOrderLogicTextualEditorKit.ID);
}
Also used :
IBuilder(org.whole.lang.builders.IBuilder)
IEntityContext(org.whole.lang.contexts.IEntityContext)
FirstOrderLogicSpecificBuilderAdapter(org.whole.lang.firstorderlogic.builders.FirstOrderLogicSpecificBuilderAdapter)
FirstOrderLogicGenericBuilderAdapter(org.whole.lang.firstorderlogic.builders.FirstOrderLogicGenericBuilderAdapter)
IFirstOrderLogicBuilder(org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder)
IBuilderFactory(org.whole.lang.builders.IBuilderFactory)
Example 4 with IFirstOrderLogicBuilder
use of org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder in project whole by wholeplatform.
the class Rdf2TmTheory method apply.
public void apply(IBuilderOperation op) {
IFirstOrderLogicBuilder b0 = (IFirstOrderLogicBuilder) op.wGetBuilder(FirstOrderLogicLanguageKit.URI);
b0.Theory_();
b0.Name("rdftm");
b0.ImportTheories_(2);
b0.ImportDeclaration_();
b0.TheoryName("RDF");
b0.Name("rdf");
b0._ImportDeclaration();
b0.ImportDeclaration_();
b0.TheoryName("TopicMaps");
b0.Name("tm");
b0._ImportDeclaration();
b0._ImportTheories();
b0.Declarations_(4);
b0.NameDeclaration_();
b0.Name("IDtm");
b0.SortType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("Identifiers");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("IDrdf");
b0.SortType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0.SimpleFeature("AnonId");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("idrdf");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("idrdf");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("RDF");
b0.Name("ResourceImpl");
b0.SimpleFeature("AnonId");
b0._FeatureName();
b0._NameDeclaration();
b0.NameDeclaration_();
b0.Name("idtm");
b0.PredicateType_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("idtm");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0._PredicateType();
b0.FeatureName_();
b0.LanguageName("TopicMaps");
b0.Name("Topic");
b0.SimpleFeature("Identifiers");
b0._FeatureName();
b0._NameDeclaration();
b0._Declarations();
b0.Assertions_(14);
b0.PredicateDefinition_();
b0.SimplePredicate("IDrdftm");
b0.Parameters_(1);
b0.Variable("id");
b0._Parameters();
b0.Or_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("ID");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("id");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("ID");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("id");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._PredicateDefinition();
b0.PredicateDefinition_();
b0.SimplePredicate("Resourcerdftm");
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.Or_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Resource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Subject");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._PredicateDefinition();
b0.Axiom_();
b0.Name("ResourceSubject");
b0.Coimplication_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Resource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Subject");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0._Coimplication();
b0._Axiom();
b0.Axiom_();
b0.Name("Topic");
b0.Implication_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Topic");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Resource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Not_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Literal");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0._Not();
b0._And();
b0._Implication();
b0._Axiom();
b0.Axiom_();
b0.Name("InformationResource");
b0.Implication_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("InformationResource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.Exist_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SubjectLocators");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Ref");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._Exist();
b0._Implication();
b0._Axiom();
b0.PredicateDefinition_();
b0.SimplePredicate("Rdftm_itemID");
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("IDrdftm");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.SimplePredicate("Resourcerdftm");
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("IDrdftm");
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._PredicateDefinition();
b0.PredicateDefinition_();
b0.SimplePredicate("SI");
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri1");
b0.Name("URItm");
b0._VariableDeclaration();
b0._Parameters();
b0.Exist_();
b0.Parameters_(3);
b0.VariableDeclaration_();
b0.Name("res1");
b0.Name("Resource");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("res2");
b0.Name("Resource");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri2");
b0.Name("URItm");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("InformationResource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("NonInformationResource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res2");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SubjectIndicators");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("res1");
b0.Variable("res2");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("ID");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri1");
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri2");
b0.Variable("res2");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._And();
b0._And();
b0._Exist();
b0._PredicateDefinition();
b0.Axiom_();
b0.Name("InfRes");
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("IDrdftm");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("InformationResource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.Implication_();
b0.PredicateApplication_();
b0.SimplePredicate("Rdftm_itemID");
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.Exist_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SubjectLocator");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Ref");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("ID");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._Exist();
b0._Implication();
b0._And();
b0._ForAll();
b0._Axiom();
b0.Axiom_();
b0.Name("NonInformationResource");
b0.Implication_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("NonInformationResource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0.Exist_();
b0.Parameters_(4);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("IDrdftm");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("res2");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SI");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Ref");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("res2");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SubjectIndicator");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("res2");
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._Exist();
b0._Implication();
b0._Axiom();
b0.Axiom_();
b0.Name("NonInfRes");
b0.Implication_();
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("IDrdftm");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("NonInformationResource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.SimplePredicate("Rdftm_itemID");
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._ForAll();
b0.Exist_();
b0.Parameters_(3);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URI");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("res2");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SI");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Ref");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("res2");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SubjectIndicator");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("res2");
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._And();
b0._Exist();
b0._Implication();
b0._Axiom();
b0.Axiom_();
b0.Name("IdentifiedTopicId");
b0.Implication_();
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("IDrdftm");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifiedTopic");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("ID");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("id");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._ForAll();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Resource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.Not_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Blank");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0._Not();
b0.PredicateApplication_();
b0.SimplePredicate("Rdftm_itemID");
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("res1");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._Exist();
b0._Implication();
b0._Axiom();
b0.PredicateDefinition_();
b0.SimplePredicate("SL");
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("uri1");
b0.Name("URIrdftm");
b0._VariableDeclaration();
b0._Parameters();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("InformationResource");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Ref");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._Exist();
b0._PredicateDefinition();
b0.Axiom_();
b0.Name("UnidentifiedTopicUri");
b0.Implication_();
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("IDrdftm");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("UnidentifiedTopic");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("ID");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("id");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0._ForAll();
b0.ExistUnique_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("sub");
b0.Name("Subject");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Blank");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Not_();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URItm");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("URI");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Ref");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Or_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SI");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SL");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._And();
b0._And();
b0._Exist();
b0._Not();
b0._And();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Blank");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Not_();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("uri");
b0.Name("URItm");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("URI");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("Ref");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("uri");
b0.Variable("sub");
b0._Arguments();
b0._PredicateApplication();
b0.Or_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SI");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("SL");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("top");
b0.Variable("uri");
b0._Arguments();
b0._PredicateApplication();
b0._Or();
b0._And();
b0._And();
b0._Exist();
b0._Not();
b0._And();
b0._And();
b0._ExistUnique();
b0._Implication();
b0._Axiom();
b0.Axiom_();
b0.Name("BlankId");
b0.ForAll_();
b0.Parameters_(2);
b0.VariableDeclaration_();
b0.Name("res");
b0.Name("Resource");
b0._VariableDeclaration();
b0.VariableDeclaration_();
b0.Name("id");
b0.Name("IDrdftm");
b0._VariableDeclaration();
b0._Parameters();
b0.Implication_();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("Blank");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("rdf");
b0.SimplePredicate("ID");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("id");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("res");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._And();
b0.Exist_();
b0.Parameters_(1);
b0.VariableDeclaration_();
b0.Name("top");
b0.Name("Topic");
b0._VariableDeclaration();
b0._Parameters();
b0.And_();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("UnidentifiedTopic");
b0._QualifiedPredicate();
b0.Arguments_(1);
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0.PredicateApplication_();
b0.QualifiedPredicate_();
b0.Name("tm");
b0.SimplePredicate("IdentifierOf");
b0._QualifiedPredicate();
b0.Arguments_(2);
b0.Variable("id");
b0.Variable("top");
b0._Arguments();
b0._PredicateApplication();
b0._And();
b0._Exist();
b0._Implication();
b0._ForAll();
b0._Axiom();
b0._Assertions();
b0._Theory();
}
Also used :
IFirstOrderLogicBuilder(org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder)
Aggregations
IFirstOrderLogicBuilder (org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder)4
IBuilder (org.whole.lang.builders.IBuilder)1
IBuilderFactory (org.whole.lang.builders.IBuilderFactory)1
IEntityContext (org.whole.lang.contexts.IEntityContext)1
FirstOrderLogicGenericBuilderAdapter (org.whole.lang.firstorderlogic.builders.FirstOrderLogicGenericBuilderAdapter)1
FirstOrderLogicSpecificBuilderAdapter (org.whole.lang.firstorderlogic.builders.FirstOrderLogicSpecificBuilderAdapter)1
