def test_from_xml_binary_verb_concept(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>permite_comer</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>binary verb concept</sbvr-term-concept-type>
<sbvr-term-synonym>permite_consumo_de</sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('permite_comer', term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('binary verb concept', term.get_concept_type().lower())
self.assertEquals('permite_consumo_de'.lower(), term.get_synonym().lower())
self.assertEquals(None, term.get_necessity())
def test_from_xml_simple_term(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>AlimentoOrigenAnimal</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept>Alimento</sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>AlimentoOrigenAnimalSinonimo</sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('AlimentoOrigenAnimal'.lower(), term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals('Alimento'.lower(), term.get_general_concept().lower())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals('AlimentoOrigenAnimalSinonimo'.lower(), term.get_synonym().lower())
self.assertEquals(None, term.get_necessity())
def test_parse_rules_empty_string(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(0, sbvr_specification.get_terms())
def test_parse_rules_empty_string(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(0, sbvr_specification.get_terms())
def test_from_xml_term_with_conjunction_necessity(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>RegimenAlimentario</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>Dieta</sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-logical-operator>
<sbvr-verb>permite consumo de</sbvr-verb>
<sbvr-quantification type="at-least-N">1</sbvr-quantification>
<sbvr-conjunction>
<sbvr-concept>Miel</sbvr-concept>
<sbvr-concept>AlimentoOrigenVegetal</sbvr-concept>
</sbvr-conjunction>
</sbvr-logical-operator>
</sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('RegimenAlimentario'.lower(), term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals('Dieta'.lower(), term.get_synonym().lower())
necessity = term.get_necessity()
self.assertTrue(necessity.is_single_clause())
self.assert_list_len(1, necessity.get_logical_operators())
logical_operator_1 = necessity.get_logical_operators()[0]
self.assertEquals('permite consumo de', logical_operator_1.get_verb().lower())
quantification = logical_operator_1.get_quantification()
self.assertEquals('at-least-N'.lower(), quantification.get_type().lower())
self.assertEquals('1', quantification.get_value().lower())
necessity_range = logical_operator_1.get_rule_range()
self.assertTrue(necessity_range.is_conjunction())
self.assert_list_len(2, necessity_range.get_range())
self.assertTrue('Miel' in necessity_range.get_range())
self.assertTrue('AlimentoOrigenVegetal' in necessity_range.get_range())
def test_from_xml_term_with_single_term_definition(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>RegimenAlimentario</sbvr-term-name>
<sbvr-term-definition>
<sbvr-logical-operator>
<sbvr-verb>permite consumo de</sbvr-verb>
<sbvr-quantification type="existential"></sbvr-quantification>
<sbvr-concept>Miel</sbvr-concept>
</sbvr-logical-operator>
</sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>Dieta</sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('RegimenAlimentario'.lower(), term.get_name().lower())
self.assertEquals(None, term.get_necessity())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals('Dieta'.lower(), term.get_synonym().lower())
self.assert_list_len(1, term.get_definition().get_logical_operators())
self.assertTrue(term.get_definition().is_single_clause())
definition = term.get_definition().get_logical_operators()[0]
self.assertEquals('permite consumo de', definition.get_verb().lower())
quantification = definition.get_quantification()
self.assertEquals('Existential'.lower(), quantification.get_type().lower())
self.assertEquals(None, quantification.get_value())
definition_range = definition.get_rule_range()
self.assertTrue(definition_range.is_noun_concept())
self.assertEquals('Miel', definition_range.get_range())
def test_from_xml_binary_verb_concept(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>permite_comer</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>binary verb concept</sbvr-term-concept-type>
<sbvr-term-synonym>permite_consumo_de</sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('permite_comer', term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('binary verb concept',
term.get_concept_type().lower())
self.assertEquals('permite_consumo_de'.lower(),
term.get_synonym().lower())
self.assertEquals(None, term.get_necessity())
def test_from_xml_simple_term(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>AlimentoOrigenAnimal</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept>Alimento</sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>AlimentoOrigenAnimalSinonimo</sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('AlimentoOrigenAnimal'.lower(),
term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals('Alimento'.lower(),
term.get_general_concept().lower())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals('AlimentoOrigenAnimalSinonimo'.lower(),
term.get_synonym().lower())
self.assertEquals(None, term.get_necessity())
def test_from_xml_binary_verb_concept(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>tiene_edad</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>binary verb concept</sbvr-term-concept-type>
<sbvr-term-synonym></sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-role position="1">Postulante</sbvr-role>
<sbvr-role position="2" xsd-type="Integer"></sbvr-role>
</sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('tiene_edad', term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('binary verb concept', term.get_concept_type().lower())
self.assertEquals(None, term.get_synonym())
necessity = term.get_necessity()
self.assert_list_len(2, necessity.get_roles())
self.assertTrue(necessity.relates_concept_and_literal())
self.assertEquals('postulante', necessity.get_roles()[0].get_text().lower())
self.assertEquals(None, necessity.get_roles()[0].get_xsd_type())
self.assertEquals(None, necessity.get_roles()[1].get_text())
self.assertEquals("Integer", necessity.get_roles()[1].get_xsd_type())
def test_from_xml_term_with_conjunction_necessity(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>RegimenAlimentario</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>Dieta</sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-logical-operator>
<sbvr-verb>permite consumo de</sbvr-verb>
<sbvr-quantification type="at-least-N">1</sbvr-quantification>
<sbvr-conjunction>
<sbvr-concept>Miel</sbvr-concept>
<sbvr-concept>AlimentoOrigenVegetal</sbvr-concept>
</sbvr-conjunction>
</sbvr-logical-operator>
</sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('RegimenAlimentario'.lower(),
term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals('Dieta'.lower(), term.get_synonym().lower())
necessity = term.get_necessity()
self.assertTrue(necessity.is_single_clause())
self.assert_list_len(1, necessity.get_logical_operators())
logical_operator_1 = necessity.get_logical_operators()[0]
self.assertEquals('permite consumo de',
logical_operator_1.get_verb().lower())
quantification = logical_operator_1.get_quantification()
self.assertEquals('at-least-N'.lower(),
quantification.get_type().lower())
self.assertEquals('1', quantification.get_value().lower())
necessity_range = logical_operator_1.get_rule_range()
self.assertTrue(necessity_range.is_conjunction())
self.assert_list_len(2, necessity_range.get_range())
self.assertTrue('Miel' in necessity_range.get_range())
self.assertTrue('AlimentoOrigenVegetal' in necessity_range.get_range())
def test_from_xml_term_with_single_term_definition(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>RegimenAlimentario</sbvr-term-name>
<sbvr-term-definition>
<sbvr-logical-operator>
<sbvr-verb>permite consumo de</sbvr-verb>
<sbvr-quantification type="existential"></sbvr-quantification>
<sbvr-concept>Miel</sbvr-concept>
</sbvr-logical-operator>
</sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>Dieta</sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('RegimenAlimentario'.lower(),
term.get_name().lower())
self.assertEquals(None, term.get_necessity())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals('Dieta'.lower(), term.get_synonym().lower())
self.assert_list_len(1, term.get_definition().get_logical_operators())
self.assertTrue(term.get_definition().is_single_clause())
definition = term.get_definition().get_logical_operators()[0]
self.assertEquals('permite consumo de', definition.get_verb().lower())
quantification = definition.get_quantification()
self.assertEquals('Existential'.lower(),
quantification.get_type().lower())
self.assertEquals(None, quantification.get_value())
definition_range = definition.get_rule_range()
self.assertTrue(definition_range.is_noun_concept())
self.assertEquals('Miel', definition_range.get_range())
def test_from_xml_binary_verb_concept(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>tiene_edad</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>binary verb concept</sbvr-term-concept-type>
<sbvr-term-synonym></sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-role position="1">Postulante</sbvr-role>
<sbvr-role position="2" xsd-type="Integer"></sbvr-role>
</sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('tiene_edad', term.get_name().lower())
self.assertEquals(None, term.get_definition())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('binary verb concept',
term.get_concept_type().lower())
self.assertEquals(None, term.get_synonym())
necessity = term.get_necessity()
self.assert_list_len(2, necessity.get_roles())
self.assertTrue(necessity.relates_concept_and_literal())
self.assertEquals('postulante',
necessity.get_roles()[0].get_text().lower())
self.assertEquals(None, necessity.get_roles()[0].get_xsd_type())
self.assertEquals(None, necessity.get_roles()[1].get_text())
self.assertEquals("Integer", necessity.get_roles()[1].get_xsd_type())
def test_from_xml_term_with_global_conjunction_definition(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>Postulante</sbvr-term-name>
<sbvr-term-definition>
<sbvr-conjunction>
<sbvr-logical-operator>
<sbvr-verb>tieneSexo</sbvr-verb>
<sbvr-quantification type="existencial"></sbvr-quantification>
<sbvr-concept>Sexo</sbvr-concept>
</sbvr-logical-operator>
<sbvr-logical-operator>
<sbvr-verb>estaHabilitado</sbvr-verb>
<sbvr-quantification type="existencial"></sbvr-quantification>
<sbvr-concept>Habilitado</sbvr-concept>
</sbvr-logical-operator>
</sbvr-conjunction>
</sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym></sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('Postulante'.lower(), term.get_name().lower())
self.assertEquals(None, term.get_necessity())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals(None, term.get_synonym())
definition = term.get_definition()
self.assertTrue(definition.is_conjunction())
self.assert_list_len(2, definition.get_logical_operators())
logical_operator_1 = definition.get_logical_operators()[0]
quantification = logical_operator_1.get_quantification()
self.assertEquals('existencial'.lower(),
quantification.get_type().lower())
definition_range = logical_operator_1.get_rule_range()
self.assertTrue(definition_range.is_noun_concept())
self.assertEquals('Sexo'.lower(), definition_range.get_range().lower())
logical_operator_2 = definition.get_logical_operators()[1]
quantification = logical_operator_2.get_quantification()
self.assertEquals('existencial'.lower(),
quantification.get_type().lower())
definition_range = logical_operator_2.get_rule_range()
self.assertTrue(definition_range.is_noun_concept())
self.assertEquals('Habilitado'.lower(),
definition_range.get_range().lower())
def test_from_xml_term_with_term_definition_necessity_and_verb(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>RegimenAlimentario</sbvr-term-name>
<sbvr-term-definition>
<sbvr-logical-operator>
<sbvr-verb>permite_consumo_de</sbvr-verb>
<sbvr-quantification type="existential"></sbvr-quantification>
<sbvr-disjunction>
<sbvr-concept>Miel</sbvr-concept>
<sbvr-concept>AlimentoOrigenVegetal</sbvr-concept>
</sbvr-disjunction>
</sbvr-logical-operator>
</sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>Dieta</sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-logical-operator>
<sbvr-verb>debe_consumir</sbvr-verb>
<sbvr-quantification type="at-least-N">1</sbvr-quantification>
<sbvr-concept>AlimentoOrigenVegetal</sbvr-concept>
</sbvr-logical-operator>
</sbvr-term-necessity>
</sbvr-term>
<sbvr-term>
<sbvr-term-name>permite_consumo_de</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>binary verb concept</sbvr-term-concept-type>
<sbvr-term-synonym>permite_comer</sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-role position="1">RegimenAlimentario</sbvr-role>
<sbvr-role position="2">Alimento</sbvr-role>
</sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(2, sbvr_specification.get_terms())
verb_term = None
concept_term = None
if sbvr_specification.get_terms()[0].is_concept_type():
concept_term = sbvr_specification.get_terms()[0]
verb_term = sbvr_specification.get_terms()[1]
else:
concept_term = sbvr_specification.get_terms()[1]
verb_term = sbvr_specification.get_terms()[0]
# concept_term verification
self.assertEquals('RegimenAlimentario'.lower(), concept_term.get_name().lower())
self.assertEquals(None, concept_term.get_general_concept())
self.assertEquals('general concept', concept_term.get_concept_type().lower())
self.assertEquals('Dieta'.lower(), concept_term.get_synonym().lower())
self.assert_list_len(1, concept_term.get_definition().get_logical_operators())
self.assertTrue(concept_term.get_definition().is_single_clause())
definition = concept_term.get_definition().get_logical_operators()[0]
self.assertEquals('permite_consumo_de', definition.get_verb().lower())
quantification = definition.get_quantification()
self.assertEquals('Existential'.lower(), quantification.get_type().lower())
self.assertEquals(None, quantification.get_value())
definition_range = definition.get_rule_range()
self.assertTrue(definition_range.is_disjunction())
self.assert_list_len(2, definition_range.get_range())
self.assertTrue('AlimentoOrigenVegetal' in definition_range.get_range())
self.assertTrue('Miel' in definition_range.get_range())
necessity = concept_term.get_necessity()
self.assertTrue(necessity.is_single_clause())
self.assert_list_len(1, necessity.get_logical_operators())
logical_operator_1 = necessity.get_logical_operators()[0]
self.assertEquals('debe_consumir', logical_operator_1.get_verb().lower())
necessity_quantification = logical_operator_1.get_quantification()
self.assertEquals('at-least-N'.lower(), necessity_quantification.get_type().lower())
self.assertEquals('1', necessity_quantification.get_value().lower())
necessity_range = logical_operator_1.get_rule_range()
self.assertTrue(necessity_range.is_noun_concept())
self.assertEquals('AlimentoOrigenVegetal', necessity_range.get_range())
# verb_term verification
self.assertEquals('permite_consumo_de', verb_term.get_name().lower())
self.assertEquals(None, verb_term.get_definition())
self.assertEquals(None, verb_term.get_general_concept())
self.assertEquals('binary verb concept', verb_term.get_concept_type().lower())
self.assertEquals('permite_comer'.lower(), verb_term.get_synonym().lower())
verb_term_necessity = verb_term.get_necessity()
self.assert_list_len(2, verb_term_necessity.get_roles())
self.assertTrue(verb_term_necessity.relates_concepts())
self.assertEquals('RegimenAlimentario', verb_term_necessity.get_roles()[0].get_text())
self.assertEquals(None, verb_term_necessity.get_roles()[0].get_xsd_type())
self.assertEquals('Alimento', verb_term_necessity.get_roles()[1].get_text())
self.assertEquals(None, verb_term_necessity.get_roles()[1].get_xsd_type())
def test_from_xml_term_with_global_conjunction_definition(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>Postulante</sbvr-term-name>
<sbvr-term-definition>
<sbvr-conjunction>
<sbvr-logical-operator>
<sbvr-verb>tieneSexo</sbvr-verb>
<sbvr-quantification type="existencial"></sbvr-quantification>
<sbvr-concept>Sexo</sbvr-concept>
</sbvr-logical-operator>
<sbvr-logical-operator>
<sbvr-verb>estaHabilitado</sbvr-verb>
<sbvr-quantification type="existencial"></sbvr-quantification>
<sbvr-concept>Habilitado</sbvr-concept>
</sbvr-logical-operator>
</sbvr-conjunction>
</sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym></sbvr-term-synonym>
<sbvr-term-necessity></sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(1, sbvr_specification.get_terms())
term = sbvr_specification.get_terms()[0]
self.assertEquals('Postulante'.lower(), term.get_name().lower())
self.assertEquals(None, term.get_necessity())
self.assertEquals(None, term.get_general_concept())
self.assertEquals('general concept', term.get_concept_type().lower())
self.assertEquals(None, term.get_synonym())
definition = term.get_definition()
self.assertTrue(definition.is_conjunction())
self.assert_list_len(2, definition.get_logical_operators())
logical_operator_1 = definition.get_logical_operators()[0]
quantification = logical_operator_1.get_quantification()
self.assertEquals('existencial'.lower(), quantification.get_type().lower())
definition_range = logical_operator_1.get_rule_range()
self.assertTrue(definition_range.is_noun_concept())
self.assertEquals('Sexo'.lower(), definition_range.get_range().lower())
logical_operator_2 = definition.get_logical_operators()[1]
quantification = logical_operator_2.get_quantification()
self.assertEquals('existencial'.lower(), quantification.get_type().lower())
definition_range = logical_operator_2.get_rule_range()
self.assertTrue(definition_range.is_noun_concept())
self.assertEquals('Habilitado'.lower(), definition_range.get_range().lower())
def test_from_xml_term_with_term_definition_necessity_and_verb(self):
xml = '''<?xml version="1.0"?>
<sbvr-specification>
<sbvr-term>
<sbvr-term-name>RegimenAlimentario</sbvr-term-name>
<sbvr-term-definition>
<sbvr-logical-operator>
<sbvr-verb>permite_consumo_de</sbvr-verb>
<sbvr-quantification type="existential"></sbvr-quantification>
<sbvr-disjunction>
<sbvr-concept>Miel</sbvr-concept>
<sbvr-concept>AlimentoOrigenVegetal</sbvr-concept>
</sbvr-disjunction>
</sbvr-logical-operator>
</sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>general concept</sbvr-term-concept-type>
<sbvr-term-synonym>Dieta</sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-logical-operator>
<sbvr-verb>debe_consumir</sbvr-verb>
<sbvr-quantification type="at-least-N">1</sbvr-quantification>
<sbvr-concept>AlimentoOrigenVegetal</sbvr-concept>
</sbvr-logical-operator>
</sbvr-term-necessity>
</sbvr-term>
<sbvr-term>
<sbvr-term-name>permite_consumo_de</sbvr-term-name>
<sbvr-term-definition></sbvr-term-definition>
<sbvr-term-general-concept></sbvr-term-general-concept>
<sbvr-term-concept-type>binary verb concept</sbvr-term-concept-type>
<sbvr-term-synonym>permite_comer</sbvr-term-synonym>
<sbvr-term-necessity>
<sbvr-role position="1">RegimenAlimentario</sbvr-role>
<sbvr-role position="2">Alimento</sbvr-role>
</sbvr-term-necessity>
</sbvr-term>
</sbvr-specification>'''
root = ET.fromstring(xml)
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml(root)
self.assert_list_len(2, sbvr_specification.get_terms())
verb_term = None
concept_term = None
if sbvr_specification.get_terms()[0].is_concept_type():
concept_term = sbvr_specification.get_terms()[0]
verb_term = sbvr_specification.get_terms()[1]
else:
concept_term = sbvr_specification.get_terms()[1]
verb_term = sbvr_specification.get_terms()[0]
# concept_term verification
self.assertEquals('RegimenAlimentario'.lower(),
concept_term.get_name().lower())
self.assertEquals(None, concept_term.get_general_concept())
self.assertEquals('general concept',
concept_term.get_concept_type().lower())
self.assertEquals('Dieta'.lower(), concept_term.get_synonym().lower())
self.assert_list_len(
1,
concept_term.get_definition().get_logical_operators())
self.assertTrue(concept_term.get_definition().is_single_clause())
definition = concept_term.get_definition().get_logical_operators()[0]
self.assertEquals('permite_consumo_de', definition.get_verb().lower())
quantification = definition.get_quantification()
self.assertEquals('Existential'.lower(),
quantification.get_type().lower())
self.assertEquals(None, quantification.get_value())
definition_range = definition.get_rule_range()
self.assertTrue(definition_range.is_disjunction())
self.assert_list_len(2, definition_range.get_range())
self.assertTrue(
'AlimentoOrigenVegetal' in definition_range.get_range())
self.assertTrue('Miel' in definition_range.get_range())
necessity = concept_term.get_necessity()
self.assertTrue(necessity.is_single_clause())
self.assert_list_len(1, necessity.get_logical_operators())
logical_operator_1 = necessity.get_logical_operators()[0]
self.assertEquals('debe_consumir',
logical_operator_1.get_verb().lower())
necessity_quantification = logical_operator_1.get_quantification()
self.assertEquals('at-least-N'.lower(),
necessity_quantification.get_type().lower())
self.assertEquals('1', necessity_quantification.get_value().lower())
necessity_range = logical_operator_1.get_rule_range()
self.assertTrue(necessity_range.is_noun_concept())
self.assertEquals('AlimentoOrigenVegetal', necessity_range.get_range())
# verb_term verification
self.assertEquals('permite_consumo_de', verb_term.get_name().lower())
self.assertEquals(None, verb_term.get_definition())
self.assertEquals(None, verb_term.get_general_concept())
self.assertEquals('binary verb concept',
verb_term.get_concept_type().lower())
self.assertEquals('permite_comer'.lower(),
verb_term.get_synonym().lower())
verb_term_necessity = verb_term.get_necessity()
self.assert_list_len(2, verb_term_necessity.get_roles())
self.assertTrue(verb_term_necessity.relates_concepts())
self.assertEquals('RegimenAlimentario',
verb_term_necessity.get_roles()[0].get_text())
self.assertEquals(None,
verb_term_necessity.get_roles()[0].get_xsd_type())
self.assertEquals('Alimento',
verb_term_necessity.get_roles()[1].get_text())
self.assertEquals(None,
verb_term_necessity.get_roles()[1].get_xsd_type())
def ask_input_filename():
"""
Parse the xml file indicated by the user and returns its tree object.
"""
filename = raw_input(
"Enter SBVR specification filename (default: rules.xml): ")
if filename == "":
filename = "rules.xml"
return filename
def ask_prefix():
"""
Parse the xml file indicated by the user and returns its tree object.
"""
return raw_input("Enter ontology base url (default: ''): ")
# Main steps
print_help_Message()
input_filename = ask_input_filename()
output_filename = ask_output_filename()
prefix = ask_prefix()
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml_file(input_filename)
sbvr_to_owl = SBVRToOWL(sbvr_specification, output_filename, prefix)
sbvr_to_owl.transform()
"""
filename = raw_input("Enter SBVR specification filename (default: rules.xml): ")
if filename == "":
filename = "rules.xml"
return filename
def ask_prefix():
"""
Parse the xml file indicated by the user and returns its tree object.
"""
return raw_input("Enter ontology base url (default: ''): ")
# Main steps
print_help_Message()
input_filename = ask_input_filename()
output_filename = ask_output_filename()
prefix = ask_prefix()
sbvr_specification = SBVRSpecification()
sbvr_specification.from_xml_file(input_filename)
sbvr_to_owl = SBVRToOWL(sbvr_specification, output_filename, prefix)
sbvr_to_owl.transform()
