private string WriteMinCardRestr(string className, string attrName, int minCard, bool asEntity)
{
string output = "";
if (!asEntity) output += " ;\r\n";
output += "\trdfs:subClassOf" + "\r\n";
string tab = "\t";
if (asEntity == true)
{
output += "\t\t[" + "\r\n";
output += "\t\t\trdf:type owl:Restriction ; " + "\r\n";
output += "\t\t\towl:onProperty " + attrName + " ;\r\n";
output += "\t\t\towl:allValuesFrom" + "\r\n";
tab += "\t\t";
}
for (int i = 0; i <= minCard - 1; i++)
{
tab += "\t";
output += tab + "[" + "\r\n";
output += tab + "\trdf:type owl:Restriction ; " + "\r\n";
output += tab + "\towl:onProperty list:hasNext ; " + "\r\n";
output += tab + "\towl:someValuesFrom ";
if (i != minCard - 1)
output += "\r\n";
}
output += className + "\r\n";
for (int i = 0; i <= minCard - 1; i++)
{
tab = tab.Substring(1);
output += tab + "\t]";
if (i != minCard - 1)
output += "\r\n";
}
if (asEntity == true)
{
output += "\r\n\t\t]";
}
return output;
}