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_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 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()
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())