Skip to content

R
Requirement Formalization Tool
Commit c188ce0d authored by Thodoris Nestoridis's avatar Thodoris Nestoridis
Browse files
Options

Find Prefix syntax from Ontology

parent 4f05584b
Hide whitespace changes
Inline Side-by-side
Showing with 250 additions and 34 deletions
reqtool/reqman/api/reqman/apps/reqtool/models/requirements.py
View file @ c188ce0d
...@@ -3,10 +3,14 @@ from django.db import models ...@@ -3,10 +3,14 @@ from django.db import models
from reqman.apps.account.models import User from reqman.apps.account.models import User
from reqman.apps.reqtool.models.main_req import create_main, ITEM_CHOICES, STATE_VALUE_CHOICES, STATE_CHOICES, SYSTEM_CHOICES, FUNCTION_CHOICES, FLOW_CHOICES from reqman.apps.reqtool.models.main_req import create_main, ITEM_CHOICES, STATE_VALUE_CHOICES, STATE_CHOICES, SYSTEM_CHOICES, FUNCTION_CHOICES, FLOW_CHOICES
from reqman.apps.reqtool.models.suffix_req import create_suffix from reqman.apps.reqtool.models.suffix_req import create_suffix
from reqman.apps.reqtool.rest_api.services.parse_ontologies import *
from pygments.formatters.html import HtmlFormatter from pygments.formatters.html import HtmlFormatter
from pygments import highlight from pygments import highlight
#get prefix syntax from the Onotlogy
get_prefix_syntax()
SIMPLE_PREFIX_CHOICES = ( ("",""), SIMPLE_PREFIX_CHOICES = ( ("",""),
("P1", "If/Unless <logical expression>"), ("P1", "If/Unless <logical expression>"),
("P2", "As soon as <occuring functionality>"), ("P2", "As soon as <occuring functionality>"),
......
reqtool/reqman/api/reqman/apps/reqtool/rest_api/services/parse_ontologies.py
View file @ c188ce0d
...@@ -221,3 +221,75 @@ def get_main_sytax(): ...@@ -221,3 +221,75 @@ def get_main_sytax():
return main_dict return main_dict
'''Find Prefix syntax - return a dict with the syntax'''
def get_prefix_syntax():
prefix_dict={}
prefix_list = []
get_prefix = get_instances_list("RBO#Prefix")
for prefix in get_prefix:
prefix_list.extend(get_instances_list(prefix))
for prefix in prefix_list:
prefix_dict[prefix] = {}
prefix_dict[prefix]["Verbs"] = []
bnodes_uriref = find_triples(prefix)
subclass_data = []
for per in bnodes_uriref:
tmp = get_instances_list(str(per))
for i in tmp:
subclass_data.append(i)
for pre in subclass_data:
tmp_list = []
tmp_list2 = find_triples(pre)
tmp_list2 = [str(i) for i in tmp_list2]
for i in tmp_list2:
tmp = i.split("#")
tmp_list.append(tmp[1])
tmp_list = list(filter(("nil").__ne__, tmp_list))
tmp_list = list(filter(("Restriction").__ne__, tmp_list))
tmp_list = list(filter(("Class").__ne__, tmp_list))
tmp_list = list(filter(("Action").__ne__, tmp_list))
tmp_list = list(filter(("Quantity").__ne__, tmp_list))
tmp_list = list(filter(("UnitOfMeasurement").__ne__, tmp_list))
isrelated = []
sub = []
for i in tmp_list:
if "isRelatedTo" in i:
isrelated.append(i)
else:
sub.append(i)
for i in sub:
for j in isrelated:
if i in j:
prefix_dict[prefix]["Attribute"] = i
sub.remove(i)
if tmp_list2:
ver = get_verb(tmp_list2)
prefix_dict[prefix]["Verbs"].append(ver)
for i in ver:
sub.remove(i)
prefix_dict[prefix]["Suject"] = sub
return prefix_dict
'''Find the triples of the prefix - return list.type(URIRef)'''
def find_triples(prefix):
bnodes = []
URIRef_list = []
per = URIRef("http://delab.csd.auth.gr/ontologies/2018/RBO#" + prefix)
for s, p, o in g.triples((per, None, None)):
if isinstance(o, BNode):
bnodes.append(o)
bnodes.sort()
for bn in bnodes:
for objects in g.objects(subject=BNode(bn)):
if isinstance(objects, BNode):
bnodes.append(objects)
bnodes.sort()
bnodes_uriref = []
for bn in bnodes:
for objects in g.objects(subject=BNode(bn)):
if isinstance(objects, URIRef):
bnodes_uriref.append(objects)
return bnodes_uriref
\ No newline at end of file
reqtool/test_scripts/instances.py
View file @ c188ce0d
from rdflib import Graph, BNode from rdflib import Graph, BNode
from rdflib.namespace import RDFS from rdflib.namespace import RDFS
from rdflib import ConjunctiveGraph, URIRef, RDFS, RDF, Namespace from rdflib import ConjunctiveGraph, URIRef, RDFS, RDF, Namespace, OWL
def get_instances(keyword): def get_instances(keyword):
an_list=[] an_list=[]
...@@ -12,20 +12,8 @@ def get_instances(keyword): ...@@ -12,20 +12,8 @@ def get_instances(keyword):
an_list.append(spliter_2[len(spliter_2) - 1]) an_list.append(spliter_2[len(spliter_2) - 1])
return an_list return an_list
file2 = open(r"instances.txt","w+")
g = Graph()
g.load("../Ontologies/Mokos_18_1_7_47.ttl", format="turtle")
for subj, obj in g.subject_objects(predicate=RDFS.subClassOf):
subClass = subj + "$"+ obj + "\n"
#print(subClass)
file2.write(subClass)
'''Find Boilerplate subject of each main''' '''Find Boilerplate subject of each main - return list'''
def get_subjects(bnodes_uriref): def get_subjects(bnodes_uriref):
setOfElems = set() setOfElems = set()
duplicate_uri = [] duplicate_uri = []
...@@ -33,10 +21,10 @@ def get_subjects(bnodes_uriref): ...@@ -33,10 +21,10 @@ def get_subjects(bnodes_uriref):
rdf_syntax = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#nil' rdf_syntax = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#nil'
for elem in range (len(bnodes_uriref)): for elem in range (len(bnodes_uriref)):
if bnodes_uriref[elem] in setOfElems: if not bnodes_uriref[elem] in setOfElems:
duplicate_uri.append(bnodes_uriref[elem])
else:
setOfElems.add(bnodes_uriref[elem]) setOfElems.add(bnodes_uriref[elem])
else:
duplicate_uri.append(bnodes_uriref[elem])
if rdf_syntax == str(bnodes_uriref[elem]) : if rdf_syntax == str(bnodes_uriref[elem]) :
bnodes = bnodes_uriref[:elem] bnodes = bnodes_uriref[:elem]
...@@ -49,11 +37,11 @@ def get_subjects(bnodes_uriref): ...@@ -49,11 +37,11 @@ def get_subjects(bnodes_uriref):
for i in duplicate_uri: for i in duplicate_uri:
if i in bnodes: if i in bnodes:
spliter = str(i).split("#") spliter = str(i).split("#")
subject_list.append(spliter[1]) subject_list.append(str(spliter[1]))
return(subject_list) return(subject_list)
'''Find Boilerplate classes between subject and verb''' '''Find Boilerplate classes between subject and verb - return list'''
def get_related_to_subject(bnodes_uriref): def get_related_to_subject(bnodes_uriref):
related_to_subject_list = [] related_to_subject_list = []
bnodes_uriref = [str(i) for i in bnodes_uriref] bnodes_uriref = [str(i) for i in bnodes_uriref]
...@@ -65,7 +53,7 @@ def get_related_to_subject(bnodes_uriref): ...@@ -65,7 +53,7 @@ def get_related_to_subject(bnodes_uriref):
return(related_to_subject_list) return(related_to_subject_list)
'''Find Boilerplate Verb''' '''Find Boilerplate Verb - return list'''
def get_verb(bnodes_uriref): def get_verb(bnodes_uriref):
verb_list = [] verb_list = []
bnodes_uriref = [str(i) for i in bnodes_uriref] bnodes_uriref = [str(i) for i in bnodes_uriref]
...@@ -77,7 +65,7 @@ def get_verb(bnodes_uriref): ...@@ -77,7 +65,7 @@ def get_verb(bnodes_uriref):
return(verb_list) return(verb_list)
'''Check if Boilerplate has quantifier''' '''Check if Boilerplate has quantifier - return list'''
def check_quantifier(bnodes_uriref): def check_quantifier(bnodes_uriref):
bnodes_uriref = [str(i) for i in bnodes_uriref] bnodes_uriref = [str(i) for i in bnodes_uriref]
quantity = [(rel_to_sub) for rel_to_sub in bnodes_uriref if "isRelatedToQuantity" in rel_to_sub] quantity = [(rel_to_sub) for rel_to_sub in bnodes_uriref if "isRelatedToQuantity" in rel_to_sub]
...@@ -86,13 +74,156 @@ def check_quantifier(bnodes_uriref): ...@@ -86,13 +74,156 @@ def check_quantifier(bnodes_uriref):
return True return True
'''Find Boilerplate Attribute - return list'''
def get_attribute(bnodes_uriref, subjects, related_subjects, verbs):
bnodes = []
attribute_list = []
bnodes_uriref = [str(i) for i in bnodes_uriref]
for attribute in bnodes_uriref:
if "isRelatedToSubject" in attribute:
pass
elif "isRelatedTo" in attribute:
tmp = attribute.split("#")
if tmp[1] != '':
tmp = tmp[1].split("isRelatedTo")
attribute_list.append(tmp[1])
#to be deleted in only exist isRelatedTo
elif "isRelatedto" in attribute:
tmp = attribute.split("#")
if tmp[1] != '':
tmp = tmp[1].split("isRelatedto")
attribute_list.append(tmp[1])
attribute_list = list(filter(("Action").__ne__, attribute_list))
attribute_list = list(filter(("Attribute").__ne__, attribute_list))
attribute_list = list(filter(("Quantity").__ne__, attribute_list))
attribute_list = list(filter(("UOM").__ne__, attribute_list))
#discuss with kostas if this needed
attribute_list = list(filter(("TraversingConcept").__ne__, attribute_list))
tmp_list = []
for i in bnodes_uriref:
if not "isRelatedTo" in i:
if not "isRelatedto" in i:
tmp = i.split("#")
if tmp[1] != '':
tmp_list.append(tmp[1])
tmp_list = list(filter(("nil").__ne__, tmp_list))
tmp_list = list(filter(("Restriction").__ne__, tmp_list))
tmp_list = list(filter(("Class").__ne__, tmp_list))
tmp_list = list(filter(("Action").__ne__, tmp_list))
tmp_list = list(filter(("Quantity").__ne__, tmp_list))
tmp_list = list(filter(("UnitOfMeasurement").__ne__, tmp_list))
for i in subjects:
tmp_list = list(filter((i).__ne__, tmp_list))
for i in related_subjects:
tmp_list = list(filter((i).__ne__, tmp_list))
for i in verbs:
tmp_list = list(filter((i).__ne__, tmp_list))
res = attribute_list + tmp_list
res = list(dict.fromkeys(res))
return(res)
'''Find Main syntax - return a dict with the syntax''' '''Find Main syntax - return a dict with the syntax'''
get_main = get_instances("RBO#Main") def get_main_sytax():
for main in get_main: get_main = get_instances("RBO#Main")
main_dict = {}
for main in get_main:
bnodes = []
p = URIRef("http://delab.csd.auth.gr/ontologies/2018/RBO#" + main)
for s, p, o in g.triples((p, None, None)):
if isinstance(o, BNode):
bnodes.append(o)
bnodes.sort()
for bn in bnodes:
for objects in g.objects(subject=BNode(bn)):
if isinstance(objects, BNode):
bnodes.append(objects)
bnodes.sort()
bnodes_uriref = []
for bn in bnodes:
for objects in g.objects(subject=BNode(bn)):
if isinstance(objects, URIRef):
bnodes_uriref.append(objects)
main_dict[main] = {}
main_dict[main]["Subject"] = get_subjects(bnodes_uriref)
main_dict[main]["Related_to_Subject"] = get_related_to_subject(bnodes_uriref)
main_dict[main]["Verbs"] = get_verb(bnodes_uriref)
main_dict[main]["Quantifier"] = check_quantifier(bnodes_uriref)
main_dict[main]["Attributes"] = get_attribute(bnodes_uriref, main_dict[main]["Subject"], main_dict[main]["Related_to_Subject"], main_dict[main]["Verbs"])
return main_dict
'''Find Prefix syntax - return a dict with the syntax'''
def get_prefix_syntax():
prefix_dict={}
prefix_list = []
get_prefix = get_instances("RBO#Prefix")
for prefix in get_prefix:
prefix_list.extend(get_instances(prefix))
for prefix in prefix_list:
prefix_dict[prefix] = {}
prefix_dict[prefix]["Verbs"] = []
bnodes_uriref = find_triples(prefix)
subclass_data = []
for per in bnodes_uriref:
tmp = get_instances(str(per))
for i in tmp:
subclass_data.append(i)
for pre in subclass_data:
tmp_list = []
tmp_list2 = find_triples(pre)
tmp_list2 = [str(i) for i in tmp_list2]
for i in tmp_list2:
tmp = i.split("#")
tmp_list.append(tmp[1])
tmp_list = list(filter(("nil").__ne__, tmp_list))
tmp_list = list(filter(("Restriction").__ne__, tmp_list))
tmp_list = list(filter(("Class").__ne__, tmp_list))
tmp_list = list(filter(("Action").__ne__, tmp_list))
tmp_list = list(filter(("Quantity").__ne__, tmp_list))
tmp_list = list(filter(("UnitOfMeasurement").__ne__, tmp_list))
isrelated = []
sub = []
for i in tmp_list:
if "isRelatedTo" in i:
isrelated.append(i)
else:
sub.append(i)
for i in sub:
for j in isrelated:
if i in j:
prefix_dict[prefix]["Attribute"] = i
sub.remove(i)
if tmp_list2:
ver = get_verb(tmp_list2)
prefix_dict[prefix]["Verbs"].append(ver)
for i in ver:
sub.remove(i)
prefix_dict[prefix]["Suject"] = sub
return prefix_dict
'''Find the triples of the prefix - return list.type(URIRef)'''
def find_triples(prefix):
bnodes = [] bnodes = []
p = URIRef("http://delab.csd.auth.gr/ontologies/2018/RBO#" + main) URIRef_list = []
for s, p, o in g.triples((p, None, None)): per = URIRef("http://delab.csd.auth.gr/ontologies/2018/RBO#" + prefix)
for s, p, o in g.triples((per, None, None)):
if isinstance(o, BNode): if isinstance(o, BNode):
bnodes.append(o) bnodes.append(o)
bnodes.sort() bnodes.sort()
...@@ -100,23 +231,32 @@ for main in get_main: ...@@ -100,23 +231,32 @@ for main in get_main:
for bn in bnodes: for bn in bnodes:
for objects in g.objects(subject=BNode(bn)): for objects in g.objects(subject=BNode(bn)):
if isinstance(objects, BNode): if isinstance(objects, BNode):
bnodes.append(objects) bnodes.append(objects)
bnodes.sort() bnodes.sort()
bnodes_uriref = [] bnodes_uriref = []
for bn in bnodes: for bn in bnodes:
for objects in g.objects(subject=BNode(bn)): for objects in g.objects(subject=BNode(bn)):
if isinstance(objects, URIRef): if isinstance(objects, URIRef):
bnodes_uriref.append(objects) bnodes_uriref.append(objects)
return bnodes_uriref
subjects = get_subjects(bnodes_uriref)
related_subjects = get_related_to_subject(bnodes_uriref)
#print(get_verb(bnodes_uriref)) file2 = open(r"instances.txt","w+")
#print(check_quantifier(bnodes_uriref)) file3 = open(r"disjoint.txt","w+")
## FIND attribute
g = Graph()
g.load("../Ontologies/Mokos_18_1_7_47.ttl", format="turtle")
for subj, obj in g.subject_objects(predicate=RDFS.subClassOf):
subClass = subj + "$"+ obj + "\n"
file2.write(subClass)
for subj, obj in g.subject_objects(predicate=OWL.disjointWith):
subClass = subj + "$"+ obj + "\n"
file3.write(subClass)
get_prefix_syntax()
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment