diff --git a/tenet/scheme/amr_master_rule/__init__.py b/tenet/scheme/amr_master_rule/__init__.py index 9efafb92e2f8c43380577d7fd8748e7cee0d786d..7f2cbaf8d6cbc0c1124957451679116f4a6b0528 100644 --- a/tenet/scheme/amr_master_rule/__init__.py +++ b/tenet/scheme/amr_master_rule/__init__.py @@ -57,6 +57,7 @@ from scheme.amr_master_rule.transduction.phenomena_analyzer.and_analyzer_1 impor from scheme.amr_master_rule.transduction.phenomena_analyzer.and_analyzer_2 import * from scheme.amr_master_rule.transduction.heuristic_deducer.relation_deducer_1 import * +from scheme.amr_master_rule.transduction.heuristic_deducer.refine_restriction_1 import * # -- Generation Rules diff --git a/tenet/scheme/amr_master_rule/owl_generation/owl_class_generator.py b/tenet/scheme/amr_master_rule/owl_generation/owl_class_generator.py index 944efcfdea5025e228305326198a85ec19a9d226..86a12cc14661eed18696d3f18343920daccf8350 100644 --- a/tenet/scheme/amr_master_rule/owl_generation/owl_class_generator.py +++ b/tenet/scheme/amr_master_rule/owl_generation/owl_class_generator.py @@ -241,19 +241,26 @@ def __generate_owl_taxonomic_relation(graph, new_class_uri, net): triple_list = [] relation = produce_uriref(graph, 'rdfs:subClassOf') - predicat = None + predicat_list = [] if net.type_id == 'Atom_Class_Net': - predicat = __compute_class_type_uri(net) + predicat_list.append(__compute_class_type_uri(net)) if net.type_id == 'Composite_Class_Net': - mother_class_net_uri = net.get_attribute_first_value(net.mother_class_net) - if mother_class_net_uri is None: - predicat = __compute_class_type_uri(net) + # mother_class_net_uri = net.get_attribute_first_value(net.mother_class_net) + # if mother_class_net_uri is None: + # predicat_list = __compute_class_type_uri(net) + # else : + # predicat_list = __get_mother_class_uri(graph, mother_class_net_uri) + mother_class_net_uri_list = net.mother_class_net + if mother_class_net_uri_list is None: + predicat_list.append(__compute_class_type_uri(net)) else : - predicat = __get_mother_class_uri(graph, mother_class_net_uri) + for mother_class_net_uri in mother_class_net_uri_list: + predicat_list.append(__get_mother_class_uri(graph, mother_class_net_uri)) + print(predicat_list) - if predicat is not None: + for predicat in predicat_list: triple_list.append((new_class_uri, relation, predicat)) return triple_list diff --git a/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/refine_restriction_1.py b/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/refine_restriction_1.py index e1aaa7d18ea892edda60b99f6c378059a1a248b9..a93d6e2c94dda2d807c2fbdd91feaceab13e2890 100644 --- a/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/refine_restriction_1.py +++ b/tenet/scheme/amr_master_rule/transduction/heuristic_deducer/refine_restriction_1.py @@ -28,13 +28,43 @@ def __search_pattern(graph): '?restriction_net a net:Restriction_Net.', '?restriction_net net:hasRestrictionNetValue ?origin_net_value.', '?restriction_net net:hasRestrictionOnProperty ?predicate_property_net.' - '?new_net_value net:hasMotherClassNet* ?origin_net_value.' + '?new_net_value net:hasMotherClassNet ?origin_net_value.' + '?new_net_value a [rdfs:subClassOf* net:Class_Net].' ] query_code = generate_select_query(graph, select_data_list, clause_list) result_set = graph.query(query_code) return query_code, result_set +#============================================================================== +# Useful Additional Search +#============================================================================== + +# def __search_individual(graph): +# query_code = '' +# result_set = [] +# select_data_list = ['?individualNet', '?classNet'] +# clause_list = [ +# '?individualNet a net:Individual_Net.', +# '?individualNet net:coverBaseNode ?sameBaseLeaf.', +# '?classNet a [rdfs:subClassOf* net:Class_Net].', +# '?classNet net:coverBaseNode ?sameBaseLeaf.' +# ] +# query_code = generate_select_query(graph, select_data_list, clause_list) +# result_set = graph.query(query_code) +# return query_code, result_set + +def __search_individual_from_class(graph, class_net_uri): + select_data_list = ['?individual_net'] + clause_list = [ + '?individual_net a net:Individual_Net.', + f'?individual_net net:hasMotherClassNet <{class_net_uri}>.' + ] + query_code = generate_select_query(graph, select_data_list, clause_list) + result_set = graph.query(query_code) + return result_set + + #============================================================================== # Net Checking @@ -97,14 +127,15 @@ def __construct_restriction_net(graph, property_net, target_class_net): def __construct_composite_class_net( - graph, base_class_net, core_property_net, target_class_net): + graph, mother_class_net, base_class_net, core_property_net, target_class_net): # -- Net Composition composite_class_net = net.CompositeClassNet(graph) composite_class_net.compose(base_class_net, core_property_net, target_class_net) # -- Data Computation - composite_class_net.mother_class_net = base_class_net.uri + composite_class_net.mother_class_net = [base_class_net.uri, mother_class_net.uri] + composite_class_net.mother_class_net = [mother_class_net.uri] # -- Restriction Computation restriction_net, triple_list_1 = __construct_restriction_net(graph, core_property_net, target_class_net) @@ -125,6 +156,17 @@ def __construct_composite_class_net( return composite_class_net, result_triple_list +def __propagate_individual(graph, origin_composite_net, new_class): + result_triples = [] + pattern_set = __search_individual_from_class(graph, origin_composite_net.uri) + for pattern in pattern_set: + individual_net_uri = pattern.individual_net + individual_net = net.IndividualNet(graph, uri=individual_net_uri) + individual_net.mother_class_net = new_class.uri + result_triples.extend(individual_net.generate_triple_definition()) + return result_triples + + #============================================================================== # Main Method #============================================================================== @@ -154,20 +196,15 @@ def refine_composite_class(graph): # -- Condition: disjoint cover if __verify_disjoint_cover(base_class_net, target_class_net): - # print(f' *** DEVTEST *** {selection_2.class_net}') - # -- New Net Construction (from 3 nets) + # -- New Composite Class Net new_class, triple_list = __construct_composite_class_net( - graph, base_class_net, core_property_net, target_class_net) - - # -- Resulting List Update - # class_net_list.append(new_class) + graph, origin_composite_net, base_class_net, core_property_net, target_class_net) rule_triple_list += triple_list - - # -- Deprecation: Origin Composte Net and Origin Restriction Net - rule_triple_list += origin_composite_net.deprecate() - origin_retriction_net = net.RestrictionNet(graph, uri=pattern.restriction_net) - rule_triple_list += origin_retriction_net.deprecate() + + # Propagate individual by completing Individual Net + new_triples = __propagate_individual(graph, origin_composite_net, new_class) + rule_triple_list.extend(new_triples) return rule_label, rule_triple_list diff --git a/tenet/scheme/owl_amr_scheme_1.py b/tenet/scheme/owl_amr_scheme_1.py index cd939965c5bef654395d4c71ed35eaa90726b98c..204c78bd313a8e8e1203132ff6106f0e1b8f5487 100644 --- a/tenet/scheme/owl_amr_scheme_1.py +++ b/tenet/scheme/owl_amr_scheme_1.py @@ -118,8 +118,9 @@ classification_sequence_2 = ['classification sequence (2)', ] heuristic_deduction_sequence = ['heuristic deduction sequence', - rule.deduce_individual_and_relation_from_restriction_Recursively, - ] + rule.refine_composite_class, + rule.deduce_individual_and_relation_from_restriction_Recursively, + ] # # --------------------------------------------- diff --git a/tests/dev_owl_rule_tests/test_data/deducer-devGraph-4.result.ttl b/tests/dev_owl_rule_tests/test_data/deducer-devGraph-4.result.ttl new file mode 100644 index 0000000000000000000000000000000000000000..b72e58e2c0b072cbdce04c186b6d4bb052cc6be8 --- /dev/null +++ b/tests/dev_owl_rule_tests/test_data/deducer-devGraph-4.result.ttl @@ -0,0 +1,1708 @@ +@prefix : <https://amr.tetras-libre.fr/rdf/schema#> . +@prefix cprm: <https://tenet.tetras-libre.fr/config/parameters#> . +@prefix net: <https://tenet.tetras-libre.fr/semantic-net#> . +@prefix ns11: <http://amr.isi.edu/rdf/amr-terms#> . +@prefix ns2: <http://amr.isi.edu/rdf/core-amr#> . +@prefix ns3: <http://amr.isi.edu/frames/ld/v1.2.2/> . +@prefix ns4: <http://amr.isi.edu/entity-types#> . +@prefix owl: <http://www.w3.org/2002/07/owl#> . +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . +@prefix sys: <https://tenet.tetras-libre.fr/base-ontology#> . +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . + +ns2:Concept a rdfs:Class, + owl:Class ; + rdfs:label "AMR-Concept" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:Role a rdfs:Class, + owl:Class ; + rdfs:label "AMR-Role" ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/test-1#root01> ns2:hasID "test-1" ; + ns2:hasSentence "The sun is a star." ; + ns2:root <http://amr.isi.edu/amr_data/test-1#s> . + +<http://amr.isi.edu/amr_data/test-2#root01> ns2:hasID "test-2" ; + ns2:hasSentence "Earth is a planet." ; + ns2:root <http://amr.isi.edu/amr_data/test-2#p> . + +ns3:bind-01.ARG0 a ns3:FrameRole . + +ns3:bind-01.ARG1 a ns3:FrameRole . + +ns3:orbit-01.ARG0 a ns3:FrameRole . + +ns3:orbit-01.ARG1 a ns3:FrameRole . + +ns11:domain a ns2:Role, + owl:AnnotationProperty, + owl:NamedIndividual . + +ns11:op1 a ns2:Role . + +ns11:op2 a ns2:Role . + +ns2:hasID a owl:AnnotationProperty . + +ns2:hasSentence a owl:AnnotationProperty . + +ns2:root a owl:AnnotationProperty . + +<https://amr.tetras-libre.fr/rdf/schema> a owl:Ontology ; + owl:versionIRI :0.1 . + +:AMR_DataProperty a owl:DatatypeProperty . + +:AMR_Prep_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:edge_a_o a :AMR_Edge ; + :hasAmrRole :role_op2 ; + :hasRoleID "op2" . + +:edge_a_s2 a :AMR_Edge ; + :hasAmrRole :role_op1 ; + :hasRoleID "op1" . + +:edge_b_g a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_b_s a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_d2_polarity_negative a :AMR_Edge ; + :hasAmrRole :role_polarity ; + :hasRoleID "polarity" . + +:edge_m9_ARG0_o2 a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_m9_ARG1_o3 a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_o2_o a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_o2_s2 a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_o3_d a :AMR_Edge ; + :hasAmrRole :role_op1 ; + :hasRoleID "op1" . + +:edge_o3_d2 a :AMR_Edge ; + :hasAmrRole :role_op2 ; + :hasRoleID "op2" . + +:edge_p9_ARG0_s a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_p9_ARG1_a a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_p_name_SolarSystem a :AMR_Edge ; + :hasAmrRole :role_name ; + :hasRoleID "name" . + +:edge_s_p a :AMR_Edge ; + :hasAmrRole :role_domain ; + :hasRoleID "domain" . + +:fromAmrLkFramerole a owl:AnnotationProperty ; + rdfs:subPropertyOf :fromAmrLk . + +:fromAmrLkRole a owl:AnnotationProperty ; + rdfs:subPropertyOf :fromAmrLk . + +:fromAmrLkRoot a owl:AnnotationProperty ; + rdfs:subPropertyOf :fromAmrLk . + +:getDirectPropertyName a owl:AnnotationProperty ; + rdfs:subPropertyOf :getProperty . + +:getInversePropertyName a owl:AnnotationProperty ; + rdfs:subPropertyOf :getProperty . + +:getPropertyType a owl:AnnotationProperty ; + rdfs:subPropertyOf :getProperty . + +:hasConcept a owl:ObjectProperty ; + rdfs:domain :AMR_Leaf ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasConceptLink a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasLink . + +:hasEdgeLink a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasLink . + +:hasReification a owl:AnnotationProperty ; + rdfs:range xsd:boolean ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasReificationConcept a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasReificationDefinition . + +:hasReificationDomain a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasReificationDefinition . + +:hasReificationRange a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasReificationDefinition . + +:hasRelationName a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasRoleID a owl:ObjectProperty ; + rdfs:domain :AMR_Edge ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasRoleTag a owl:ObjectProperty ; + rdfs:domain :AMR_Edge ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasRolesetID a owl:ObjectProperty ; + rdfs:domain :AMR_Edge ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasRootLeaf a owl:ObjectProperty ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasSentenceID a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasSentenceStatement a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasVariable a owl:ObjectProperty ; + rdfs:domain :AMR_Leaf ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:label a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:phenomena_degree a owl:Class ; + rdfs:subClassOf :AMR_Phenomena ; + :hasConceptLink "have-degree-91" ; + :label "degree" . + +:phenomena_modality_obligation a owl:Class ; + rdfs:subClassOf :phenomena_modality ; + :hasConceptLink "obligate-01" ; + :label "obligation-modality" . + +:phenomena_modality_possible a owl:Class ; + rdfs:subClassOf :phenomena_modality ; + :hasConceptLink "allow-01", + "grant-01", + "likely-01", + "permit-01", + "possible-01" ; + :label "possible-modality" . + +:phenomena_modality_prohibition a owl:Class ; + rdfs:subClassOf :phenomena_modality ; + :hasConceptLink "prohibit-01" ; + :label "prohibition-modality" . + +:relation_domain a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "domain" . + +:relation_manner a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification true ; + :hasReificationConcept "hasManner" ; + :hasReificationDomain "ARG1" ; + :hasReificationRange "ARG2" ; + :hasRelationName "manner" . + +:relation_mod a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "mod" . + +:relation_name a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "name" . + +:relation_part a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification true ; + :hasReificationConcept "hasPart" ; + :hasReificationDomain "ARG1" ; + :hasReificationRange "ARG2" ; + :hasRelationName "part" . + +:relation_polarity a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "polarity" . + +:relation_quant a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "quant" . + +:role_ARG2 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG2" . + +:role_ARG3 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG3" . + +:role_ARG4 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG4" . + +:role_ARG5 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG5" . + +:role_ARG6 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG6" . + +:role_ARG7 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG7" . + +:role_ARG8 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG8" . + +:role_ARG9 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG9" . + +:role_have-degree-91 a owl:Class ; + rdfs:subClassOf :AMR_Specific_Role ; + :getPropertyType <net:specificProperty> . + +:role_manner a owl:Class ; + rdfs:subClassOf :AMR_NonCore_Role ; + :getDirectPropertyName "manner" ; + :getPropertyType owl:DataProperty ; + :label "manner" ; + :toReifyAsConcept "manner" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_mod a owl:Class ; + rdfs:subClassOf :AMR_NonCore_Role ; + :getDirectPropertyName "hasFeature"^^xsd:string ; + :getPropertyType rdfs:subClassOf, + owl:ObjectProperty ; + :label "mod" ; + :toReifyAsConcept "mod" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_op3 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op3" . + +:role_op4 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op4" . + +:role_op5 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op5" . + +:role_op6 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op6" . + +:role_op7 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op7" . + +:role_op8 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op8" . + +:role_op9 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op9" . + +:role_part a owl:Class ; + rdfs:subClassOf :AMR_NonCore_Role ; + :getDirectPropertyName "hasPart"^^xsd:string ; + :getInversePropertyName "partOf"^^xsd:string ; + :getPropertyType owl:ObjectProperty ; + :toReifyAsConcept "part" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_quant a owl:Class ; + rdfs:subClassOf :AMR_Specific_Role ; + :label "quant" . + +:root_SSC-01-01 a :AMR_Root ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#root01> ; + :hasRootLeaf :leaf_system_s ; + :hasSentenceID "SSC-01-01" ; + :hasSentenceStatement "The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly." . + +:toReifyAsConcept a owl:AnnotationProperty ; + rdfs:subPropertyOf :toReify . + +:toReifyWithBaseEdge a owl:AnnotationProperty ; + rdfs:subPropertyOf :toReify . + +:toReifyWithHeadEdge a owl:AnnotationProperty ; + rdfs:subPropertyOf :toReify . + +<https://tenet.tetras-libre.fr/base-ontology> a owl:Ontology . + +sys:Event a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:Undetermined_Thing a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:fromStructure a owl:AnnotationProperty ; + rdfs:subPropertyOf sys:Out_AnnotationProperty . + +sys:hasDegree a owl:ObjectProperty ; + rdfs:subPropertyOf sys:Out_ObjectProperty . + +sys:hasFeature a owl:ObjectProperty ; + rdfs:subPropertyOf sys:Out_ObjectProperty . + +<https://tenet.tetras-libre.fr/config/parameters> a owl:Ontology . + +cprm:Config_Parameters a owl:Class ; + cprm:baseURI "https://tenet.tetras-libre.fr/" ; + cprm:netURI "https://tenet.tetras-libre.fr/semantic-net#" ; + cprm:newClassRef "new-class#" ; + cprm:newPropertyRef "new-relation#" ; + cprm:objectRef "object_" ; + cprm:targetOntologyURI "https://tenet.tetras-libre.fr/base-ontology/" . + +cprm:baseURI a rdf:Property ; + rdfs:label "Base URI" ; + rdfs:domain cprm:Frame ; + rdfs:range xsd:string ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:netURI a rdf:Property ; + rdfs:label "Net URI" ; + rdfs:domain cprm:Frame ; + rdfs:range xsd:string ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:newClassRef a rdf:Property ; + rdfs:label "Reference for a new class" ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:newPropertyRef a rdf:Property ; + rdfs:label "Reference for a new property" ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:objectRef a rdf:Property ; + rdfs:label "Object Reference" ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:targetOntologyURI a rdf:Property ; + rdfs:label "URI of classes in target ontology" ; + rdfs:domain cprm:Frame ; + rdfs:range xsd:string ; + rdfs:subPropertyOf cprm:configParamProperty . + +<https://tenet.tetras-libre.fr/semantic-net> a owl:Ontology . + +net:Logical_Set_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Property_Axiom_Net a owl:Class ; + rdfs:subClassOf net:Axiom_Net . + +net:Property_Direction a owl:Class ; + rdfs:subClassOf net:Feature . + +net:Relation_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:abstractionClass a owl:AnnotationProperty ; + rdfs:label "abstraction class" ; + rdfs:subPropertyOf net:objectValue . + +net:atomOf a owl:AnnotationProperty ; + rdfs:label "atom of" ; + rdfs:subPropertyOf net:typeProperty . + +net:atomType a owl:AnnotationProperty ; + rdfs:label "atom type" ; + rdfs:subPropertyOf net:objectType . + +net:axiom_disjointProperty_direct_not-direct_d2 a net:Axiom_Net ; + net:composeFrom net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasAxiomName "disjointProperty" ; + net:hasAxiomURI owl:propertyDisjointWith ; + net:hasNaming "disjointProperty_direct_not-direct" ; + net:hasNetArgument net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:hasStructure "SSC-01-01" . + +net:axiom_disjointProperty_not-direct_direct_d2 a net:Axiom_Net ; + net:composeFrom net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasAxiomName "disjointProperty" ; + net:hasAxiomURI owl:propertyDisjointWith ; + net:hasNaming "disjointProperty_not-direct_direct" ; + net:hasNetArgument net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_gravitation-bind-system-hasPart-object_g a net:Composite_Class_Net ; + net:composeFrom net:atomClass_gravitation_g, + net:atomProperty_bind_b, + net:compositeClass_system-hasPart-object_s ; + net:coverBaseNode :leaf_gravitation_g ; + net:coverNode :leaf_bind-01_b, + :leaf_gravitation_g, + :leaf_hasPart_p9, + :leaf_object_o, + :leaf_system_s ; + net:hasMotherClassNet net:compositeClass_gravitation-bind-system_g ; + net:hasNaming "gravitation-bind-system-hasPart-object" ; + net:hasRestriction net:restriction_bind-system-hasPart-object_b ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_gravitation-bind-system-hasPart-sun_g a net:Composite_Class_Net ; + net:composeFrom net:atomClass_gravitation_g, + net:atomProperty_bind_b, + net:compositeClass_system-hasPart-sun_s ; + net:coverBaseNode :leaf_gravitation_g ; + net:coverNode :leaf_bind-01_b, + :leaf_gravitation_g, + :leaf_hasPart_p9, + :leaf_sun_s2, + :leaf_system_s ; + net:hasMotherClassNet net:compositeClass_gravitation-bind-system_g ; + net:hasNaming "gravitation-bind-system-hasPart-sun" ; + net:hasRestriction net:restriction_bind-system-hasPart-sun_b ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_system-hasPart-object-orbit-hasManner-direct-sun_p a net:Composite_Class_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:composeFrom net:atomClass_system_p, + net:atomProperty_hasPart_p9, + net:compositeClass_object-orbit-hasManner-direct-sun_o ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_hasPart_p9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2, + :leaf_system_p ; + net:hasMotherClassNet net:compositeClass_system-hasPart-object_s ; + net:hasNaming "system-hasPart-object-orbit-hasManner-direct-sun" ; + net:hasRestriction net:restriction_hasPart-object-orbit-hasManner-direct-sun_p9 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_system-hasPart-object-orbit-hasManner-not-direct-sun_p a net:Composite_Class_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:composeFrom net:atomClass_system_p, + net:atomProperty_hasPart_p9, + net:compositeClass_object-orbit-hasManner-not-direct-sun_o ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_hasPart_p9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2, + :leaf_system_p ; + net:hasMotherClassNet net:compositeClass_system-hasPart-object_s ; + net:hasNaming "system-hasPart-object-orbit-hasManner-not-direct-sun" ; + net:hasRestriction net:restriction_hasPart-object-orbit-hasManner-not-direct-sun_p9 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_system-hasPart-object_p a net:Composite_Class_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:composeFrom net:atomClass_object_o, + net:atomClass_system_p, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_hasPart_p9, + :leaf_object_o, + :leaf_system_p ; + net:hasMotherClassNet net:compositeClass_system-hasPart-object_s ; + net:hasNaming "system-hasPart-object" ; + net:hasRestriction net:restriction_hasPart-object_p9 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_system-hasPart-sun_p a net:Composite_Class_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:composeFrom net:atomClass_sun_s2, + net:atomClass_system_p, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_hasPart_p9, + :leaf_sun_s2, + :leaf_system_p ; + net:hasMotherClassNet net:compositeClass_system-hasPart-sun_s ; + net:hasNaming "system-hasPart-sun" ; + net:hasRestriction net:restriction_hasPart-sun_p9 ; + net:hasStructure "SSC-01-01" . + +net:entityClass a owl:AnnotationProperty ; + rdfs:label "entity class" ; + rdfs:subPropertyOf net:objectValue . + +net:featureClass a owl:AnnotationProperty ; + rdfs:label "feature class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_atom a owl:AnnotationProperty ; + rdfs:label "has atom" ; + rdfs:subPropertyOf net:has_object . + +net:has_class a owl:AnnotationProperty ; + rdfs:label "is class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_class_name a owl:AnnotationProperty ; + rdfs:subPropertyOf net:has_value . + +net:has_class_uri a owl:AnnotationProperty ; + rdfs:label "class uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_concept a owl:AnnotationProperty ; + rdfs:label "concept "@fr ; + rdfs:subPropertyOf net:objectValue . + +net:has_entity a owl:AnnotationProperty ; + rdfs:label "has entity" ; + rdfs:subPropertyOf net:has_object . + +net:has_feature a owl:AnnotationProperty ; + rdfs:label "has feature" ; + rdfs:subPropertyOf net:has_object . + +net:has_instance a owl:AnnotationProperty ; + rdfs:label "entity instance" ; + rdfs:subPropertyOf net:objectValue . + +net:has_instance_uri a owl:AnnotationProperty ; + rdfs:label "instance uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_item a owl:AnnotationProperty ; + rdfs:label "has item" ; + rdfs:subPropertyOf net:has_object . + +net:has_mother_class a owl:AnnotationProperty ; + rdfs:label "has mother class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_mother_class_uri a owl:AnnotationProperty ; + rdfs:label "parent class uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_node a owl:AnnotationProperty ; + rdfs:label "UNL Node" ; + rdfs:subPropertyOf net:netProperty . + +net:has_parent a owl:AnnotationProperty ; + rdfs:label "has parent" ; + rdfs:subPropertyOf net:has_object . + +net:has_parent_class a owl:AnnotationProperty ; + rdfs:label "parent class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_parent_class_uri a owl:AnnotationProperty ; + rdfs:label "parent class uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_possible_domain a owl:AnnotationProperty ; + rdfs:label "has possible domain" ; + rdfs:subPropertyOf net:has_object . + +net:has_possible_range a owl:AnnotationProperty ; + rdfs:label "has possible range" ; + rdfs:subPropertyOf net:has_object . + +net:has_relation a owl:AnnotationProperty ; + rdfs:label "has relation" ; + rdfs:subPropertyOf net:has_relation_value . + +net:has_source a owl:AnnotationProperty ; + rdfs:label "has source" ; + rdfs:subPropertyOf net:has_relation_value . + +net:has_structure a owl:AnnotationProperty ; + rdfs:label "Linguistic Structure (in UNL Document)" ; + rdfs:subPropertyOf net:netProperty . + +net:has_target a owl:AnnotationProperty ; + rdfs:label "has target" ; + rdfs:subPropertyOf net:has_relation_value . + +net:inverse_direction a owl:NamedIndividual . + +net:listBy a owl:AnnotationProperty ; + rdfs:label "list by" ; + rdfs:subPropertyOf net:typeProperty . + +net:listGuiding a owl:AnnotationProperty ; + rdfs:label "Guiding connector of a list (or, and)" ; + rdfs:subPropertyOf net:objectValue . + +net:listOf a owl:AnnotationProperty ; + rdfs:label "list of" ; + rdfs:subPropertyOf net:typeProperty . + +net:modCat1 a owl:AnnotationProperty ; + rdfs:label "Modality Category (level 1)" ; + rdfs:subPropertyOf net:objectValue . + +net:modCat2 a owl:AnnotationProperty ; + rdfs:label "Modality Category (level 2)" ; + rdfs:subPropertyOf net:objectValue . + +net:normal_direction a owl:NamedIndividual . + +net:relationOf a owl:AnnotationProperty ; + rdfs:label "relation of" ; + rdfs:subPropertyOf net:typeProperty . + +net:type a owl:AnnotationProperty ; + rdfs:label "type "@fr ; + rdfs:subPropertyOf net:netProperty . + +net:verbClass a owl:AnnotationProperty ; + rdfs:label "verb class" ; + rdfs:subPropertyOf net:objectValue . + +<http://amr.isi.edu/amr_data/SSC-01-01#b> a ns3:bind-01 ; + ns3:bind-01.ARG0 <http://amr.isi.edu/amr_data/SSC-01-01#g> ; + ns3:bind-01.ARG1 <http://amr.isi.edu/amr_data/SSC-01-01#s> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#o2> a ns3:orbit-01 ; + ns3:orbit-01.ARG0 <http://amr.isi.edu/amr_data/SSC-01-01#o> ; + ns3:orbit-01.ARG1 <http://amr.isi.edu/amr_data/SSC-01-01#s2> ; + ns11:manner <http://amr.isi.edu/amr_data/SSC-01-01#o3> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#root01> a ns2:AMR ; + ns2:has-id "SSC-01-01" ; + ns2:has-sentence "The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly." ; + ns2:root <http://amr.isi.edu/amr_data/SSC-01-01#s> . + +<http://amr.isi.edu/amr_data/test-1#s> ns11:domain <http://amr.isi.edu/amr_data/test-1#s2> . + +<http://amr.isi.edu/amr_data/test-2#p> rdfs:label "Earth" . + +ns4:planet a ns2:NamedEntity ; + rdfs:comment "bug" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:AMR a owl:Class ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Root a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:concept_and rdfs:subClassOf :AMR_Relation_Concept ; + :fromAmrLk ns2:and ; + :hasPhenomenaLink :phenomena_conjunction_and ; + :label "and" . + +:concept_bind-01 rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns3:bind-01 ; + :label "bind-01" . + +:concept_gravitation rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk ns11:gravitation ; + :label "gravitation" . + +:concept_manner rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns11:manner ; + :isReifiedConcept true ; + :label "hasManner" . + +:concept_object rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk ns11:object ; + :label "object" . + +:concept_or rdfs:subClassOf :AMR_Relation_Concept ; + :fromAmrLk ns2:or ; + :hasPhenomenaLink :phenomena_conjunction_or ; + :label "or" . + +:concept_orbit-01 rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns3:orbit-01 ; + :label "orbit-01" . + +:concept_part rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns11:part ; + :isReifiedConcept true ; + :label "hasPart" . + +:concept_sun rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk ns11:sun ; + :label "sun" . + +:role_domain a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_NonCore_Role ; + :hasRelationName "domain" ; + :label "domain" ; + :toReifyAsConcept "domain" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_name a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_NonCore_Role ; + :label "name" . + +:role_polarity a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Specific_Role ; + :label "polarity" . + +:variable_a a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#a> ; + :label "a" . + +:variable_b a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#b> ; + :label "b" . + +:variable_d a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#d> ; + :label "d" . + +:variable_d2 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#d2> ; + :label "d2" . + +:variable_g a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#g> ; + :label "g" . + +:variable_m9 a ns11:manner, + :AMR_Variable ; + :isReifiedVariable true ; + :label "m9" . + +:variable_o a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#o> ; + :label "o" . + +:variable_o2 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#o2> ; + :label "o2" . + +:variable_o3 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#o3> ; + :label "o3" . + +:variable_p a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#p> ; + :label "p" ; + :name "Solar System" . + +:variable_p9 a ns11:part, + :AMR_Variable ; + :isReifiedVariable true ; + :label "p9" . + +:variable_s a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#s> ; + :label "s" . + +:variable_s2 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#s2> ; + :label "s2" . + +sys:Degree a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:Feature a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:Out_AnnotationProperty a owl:AnnotationProperty . + +net:Feature a owl:Class ; + rdfs:subClassOf net:Net_Structure . + +net:Individual_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:atomClass_orbit_o2 a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:composeFrom net:atomProperty_orbit_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_orbit-01_o2 ; + net:hasClassName "orbit" ; + net:hasClassType sys:Entity ; + net:hasNaming "orbit" ; + net:hasStructure "SSC-01-01" . + +net:has_value a owl:AnnotationProperty ; + rdfs:subPropertyOf net:netProperty . + +net:objectType a owl:AnnotationProperty ; + rdfs:label "object type" ; + rdfs:subPropertyOf net:objectProperty . + +net:phenomena_conjunction-AND_a a net:Phenomena_Net ; + :role_op1 net:atomClass_sun_s2 ; + :role_op2 net:atomClass_object_o ; + net:coverBaseNode :leaf_and_a ; + net:coverNode :leaf_and_a ; + net:hasNaming "conjunction-AND" ; + net:hasPhenomenaRef "and" ; + net:hasPhenomenaType :phenomena_conjunction_and ; + net:hasStructure "SSC-01-01" . + +net:phenomena_conjunction-OR_o3 a net:Phenomena_Net ; + :role_op1 net:atomProperty_direct_d ; + :role_op2 net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_or_o3 ; + net:coverNode :leaf_or_o3 ; + net:hasNaming "conjunction-OR" ; + net:hasPhenomenaRef "or" ; + net:hasPhenomenaType :phenomena_conjunction_or ; + net:hasStructure "SSC-01-01" . + +net:restriction_bind-system-hasPart-object_b a net:Restriction_Net ; + net:composeFrom net:atomProperty_bind_b, + net:compositeClass_system-hasPart-object_s ; + net:coverBaseNode :leaf_bind-01_b ; + net:coverNode :leaf_bind-01_b, + :leaf_hasPart_p9, + :leaf_object_o, + :leaf_system_s ; + net:hasNaming "bind-system-hasPart-object" ; + net:hasRestrictionNetValue net:compositeClass_system-hasPart-object_s ; + net:hasRestrictionOnProperty net:atomProperty_bind_b ; + net:hasStructure "SSC-01-01" . + +net:restriction_bind-system-hasPart-sun_b a net:Restriction_Net ; + net:composeFrom net:atomProperty_bind_b, + net:compositeClass_system-hasPart-sun_s ; + net:coverBaseNode :leaf_bind-01_b ; + net:coverNode :leaf_bind-01_b, + :leaf_hasPart_p9, + :leaf_sun_s2, + :leaf_system_s ; + net:hasNaming "bind-system-hasPart-sun" ; + net:hasRestrictionNetValue net:compositeClass_system-hasPart-sun_s ; + net:hasRestrictionOnProperty net:atomProperty_bind_b ; + net:hasStructure "SSC-01-01" . + +net:restriction_bind-system_b a net:Restriction_Net ; + net:composeFrom net:atomClass_system_s, + net:atomProperty_bind_b ; + net:coverBaseNode :leaf_bind-01_b ; + net:coverNode :leaf_bind-01_b, + :leaf_system_s ; + net:hasNaming "bind-system" ; + net:hasRestrictionNetValue net:atomClass_system_s ; + net:hasRestrictionOnProperty net:atomProperty_bind_b ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasManner-direct_m9 a net:Restriction_Net ; + net:composeFrom net:atomProperty_direct_d, + net:atomProperty_direct_d2, + net:atomProperty_hasManner_m9 ; + net:coverBaseNode :leaf_hasManner_m9 ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9 ; + net:hasNaming "hasManner-direct" ; + net:hasRestrictionNetValue net:atomProperty_direct_d, + net:atomProperty_direct_d2 ; + net:hasRestrictionOnProperty net:atomProperty_hasManner_m9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasManner-not-direct_m9 a net:Restriction_Net ; + net:composeFrom net:atomProperty_hasManner_m9, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_hasManner_m9 ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9 ; + net:hasNaming "hasManner-not-direct" ; + net:hasRestrictionNetValue net:compositeProperty_not-direct_d2 ; + net:hasRestrictionOnProperty net:atomProperty_hasManner_m9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasPart-object-orbit-hasManner-direct-sun_p9 a net:Restriction_Net ; + net:composeFrom net:atomProperty_hasPart_p9, + net:compositeClass_object-orbit-hasManner-direct-sun_o ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_hasPart_p9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasNaming "hasPart-object-orbit-hasManner-direct-sun" ; + net:hasRestrictionNetValue net:compositeClass_object-orbit-hasManner-direct-sun_o ; + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasPart-object-orbit-hasManner-not-direct-sun_p9 a net:Restriction_Net ; + net:composeFrom net:atomProperty_hasPart_p9, + net:compositeClass_object-orbit-hasManner-not-direct-sun_o ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_hasPart_p9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasNaming "hasPart-object-orbit-hasManner-not-direct-sun" ; + net:hasRestrictionNetValue net:compositeClass_object-orbit-hasManner-not-direct-sun_o ; + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_orbit-hasManner-direct-sun_o2 a net:Restriction_Net ; + net:composeFrom net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-direct_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasNaming "orbit-hasManner-direct-sun" ; + net:hasRestrictionNetValue net:atomClass_sun_s2 ; + net:hasRestrictionOnProperty net:compositeProperty_orbit-hasManner-direct_o2 ; + net:hasStructure "SSC-01-01" . + +net:restriction_orbit-hasManner-not-direct-sun_o2 a net:Restriction_Net ; + net:composeFrom net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-not-direct_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasNaming "orbit-hasManner-not-direct-sun" ; + net:hasRestrictionNetValue net:atomClass_sun_s2 ; + net:hasRestrictionOnProperty net:compositeProperty_orbit-hasManner-not-direct_o2 ; + net:hasStructure "SSC-01-01" . + +<http://amr.isi.edu/amr_data/SSC-01-01#a> a ns2:and ; + ns11:op1 <http://amr.isi.edu/amr_data/SSC-01-01#s2> ; + ns11:op2 <http://amr.isi.edu/amr_data/SSC-01-01#o> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#d> a ns3:direct-02 ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#d2> a ns3:direct-02 ; + ns11:polarity "-" ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#g> a ns11:gravitation ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#o3> a ns2:or ; + ns11:op1 <http://amr.isi.edu/amr_data/SSC-01-01#d> ; + ns11:op2 <http://amr.isi.edu/amr_data/SSC-01-01#d2> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#p> a ns4:planet, + ns4:system ; + rdfs:label "Solar System" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns4:system a ns2:NamedEntity ; + rdfs:label "system" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns3:bind-01 a ns2:Frame ; + rdfs:subClassOf :AMR_Linked_Data . + +ns3:orbit-01 a ns2:Frame ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:gravitation a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:manner a ns2:Role ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:object a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:part a ns2:Role ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:sun a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:system a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:NamedEntity a ns2:Concept, + owl:Class, + owl:NamedIndividual ; + rdfs:label "AMR-EntityType", + "AMR-Term" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:and a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:or a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Relation_Concept a owl:Class ; + rdfs:subClassOf :AMR_Concept . + +:AMR_Value a owl:Class ; + rdfs:subClassOf :AMR_Element . + +:concept_direct-02 rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns3:direct-02 ; + :label "direct-02" . + +:concept_system rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk ns4:system, + ns11:system ; + :label "system" . + +:hasLink a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:phenomena_conjunction a owl:Class ; + rdfs:subClassOf :AMR_Phenomena ; + :hasConceptLink "contrast-01", + "either", + "neither" ; + :label "conjunction" . + +:phenomena_conjunction_and a owl:Class ; + rdfs:subClassOf :phenomena_conjunction ; + :hasConceptLink "and" ; + :label "conjunction-AND" . + +:phenomena_conjunction_or a owl:Class ; + rdfs:subClassOf :phenomena_conjunction ; + :hasConceptLink "or" ; + :label "conjunction-OR" . + +:role_op1 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op1" . + +:role_op2 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op2" . + +:value_SolarSystem a :AMR_Value ; + rdfs:label "SolarSystem" . + +sys:Out_ObjectProperty a owl:ObjectProperty . + +net:Phenomena_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Property_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Value_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:objectProperty a owl:AnnotationProperty ; + rdfs:label "object attribute" . + +net:restriction_hasPart-object_p9 a net:Restriction_Net ; + net:composeFrom net:atomClass_object_o, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_hasPart_p9, + :leaf_object_o ; + net:hasNaming "hasPart-object" ; + net:hasRestrictionNetValue net:atomClass_object_o ; + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasPart-sun_p9 a net:Restriction_Net ; + net:composeFrom net:atomClass_sun_s2, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_hasPart_p9, + :leaf_sun_s2 ; + net:hasNaming "hasPart-sun" ; + net:hasRestrictionNetValue net:atomClass_sun_s2 ; + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; + net:hasStructure "SSC-01-01" . + +net:value_negative_blankNode a net:Value_Net ; + net:coverAmrValue :value_negative ; + net:hasNaming "negative" ; + net:hasStructure "SSC-01-01" ; + net:hasValueLabel "negative" . + +<http://amr.isi.edu/amr_data/SSC-01-01#o> a ns11:object ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#s> a ns11:system ; + ns11:domain <http://amr.isi.edu/amr_data/SSC-01-01#p> ; + ns11:part <http://amr.isi.edu/amr_data/SSC-01-01#a> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#s2> a ns11:sun ; + rdfs:subClassOf :AMR_Linked_Data . + +ns3:direct-02 a ns2:Frame ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:Frame a ns2:Concept, + owl:Class, + owl:NamedIndividual ; + rdfs:label "AMR-PropBank-Frame" ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Concept a owl:Class ; + rdfs:subClassOf :AMR_Element . + +:AMR_Phenomena a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:AMR_Specific_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:fromAmrLk a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:getProperty a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasReificationDefinition a owl:AnnotationProperty ; + rdfs:range rdfs:Literal ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:phenomena_modality a owl:Class ; + rdfs:subClassOf :AMR_Phenomena . + +:toReify a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:value_negative a :AMR_Value ; + rdfs:label "negative" . + +net:Axiom_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Composite_Property_Net a owl:Class ; + rdfs:subClassOf net:Property_Net . + +net:Net_Structure a owl:Class ; + rdfs:label "Semantic Net Structure" ; + rdfs:comment "A semantic net captures a set of nodes, and associates this set with type(s) and value(s)." . + +net:compositeClass_gravitation-bind-system_g a net:Composite_Class_Net ; + net:composeFrom net:atomClass_gravitation_g, + net:atomClass_system_s, + net:atomProperty_bind_b ; + net:coverBaseNode :leaf_gravitation_g ; + net:coverNode :leaf_bind-01_b, + :leaf_gravitation_g, + :leaf_system_s ; + net:hasMotherClassNet net:atomClass_gravitation_g, + net:compositeClass_gravitation-bind-system_g ; + net:hasNaming "gravitation-bind-system" ; + net:hasRestriction net:restriction_bind-system_b ; + net:hasStructure "SSC-01-01" . + +net:compositeProperty_orbit-hasManner-direct_o2 a net:Composite_Property_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:composeFrom net:atomProperty_direct_d, + net:atomProperty_direct_d2, + net:atomProperty_hasManner_m9, + net:atomProperty_orbit_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2 ; + net:hasMotherPropertyNet net:atomProperty_orbit_o2 ; + net:hasNaming "orbit-hasManner-direct" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasRestriction net:restriction_hasManner-direct_m9 ; + net:hasStructure "SSC-01-01" . + +net:compositeProperty_orbit-hasManner-not-direct_o2 a net:Composite_Property_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:composeFrom net:atomProperty_hasManner_m9, + net:atomProperty_orbit_o2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2 ; + net:hasMotherPropertyNet net:atomProperty_orbit_o2 ; + net:hasNaming "orbit-hasManner-not-direct" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasRestriction net:restriction_hasManner-not-direct_m9 ; + net:hasStructure "SSC-01-01" . + +net:has_relation_value a owl:AnnotationProperty ; + rdfs:label "has relation value" ; + rdfs:subPropertyOf net:has_object . + +net:individual_SolarSystem_p a net:Individual_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_system_p ; + net:hasIndividualLabel "SolarSystem" ; + net:hasMotherClassNet net:atomClass_system_p, + net:atomClass_system_s, + net:compositeClass_system-hasPart-object_s, + net:compositeClass_system-hasPart-sun_s ; + net:hasNaming "SolarSystem" ; + net:hasStructure "SSC-01-01" . + +ns3:FrameRole a ns2:Role, + owl:Class, + owl:NamedIndividual ; + rdfs:label "AMR-PropBank-Role" ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Element a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:AMR_Term_Concept a owl:Class ; + rdfs:subClassOf :AMR_Concept . + +:leaf_and_a a :AMR_Leaf ; + :edge_a_o :leaf_object_o ; + :edge_a_s2 :leaf_sun_s2 ; + :hasConcept :concept_and ; + :hasVariable :variable_a . + +:leaf_or_o3 a :AMR_Leaf ; + :edge_o3_d :leaf_direct-02_d ; + :edge_o3_d2 :leaf_direct-02_d2 ; + :hasConcept :concept_or ; + :hasVariable :variable_o3 . + +:role_ARG0 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG0" . + +:role_ARG1 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG1" . + +net:atomProperty_direct_d a net:Atom_Property_Net ; + net:coverBaseNode :leaf_direct-02_d ; + net:coverNode :leaf_direct-02_d ; + net:hasNaming "direct" ; + net:hasPropertyName "direct" ; + net:hasPropertyName01 "directing" ; + net:hasPropertyName10 "direct-by" ; + net:hasPropertyName12 "direct-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" . + +net:compositeClass_object-orbit-hasManner-direct-sun_o a net:Composite_Class_Net ; + net:composeFrom net:atomClass_object_o, + net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-direct_o2 ; + net:coverBaseNode :leaf_object_o ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasMotherClassNet net:atomClass_object_o, + net:compositeClass_object-orbit-hasManner-direct-sun_o ; + net:hasNaming "object-orbit-hasManner-direct-sun" ; + net:hasRestriction net:restriction_orbit-hasManner-direct-sun_o2 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_object-orbit-hasManner-not-direct-sun_o a net:Composite_Class_Net ; + net:composeFrom net:atomClass_object_o, + net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-not-direct_o2 ; + net:coverBaseNode :leaf_object_o ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasMotherClassNet net:atomClass_object_o, + net:compositeClass_object-orbit-hasManner-not-direct-sun_o ; + net:hasNaming "object-orbit-hasManner-not-direct-sun" ; + net:hasRestriction net:restriction_orbit-hasManner-not-direct-sun_o2 ; + net:hasStructure "SSC-01-01" . + +net:typeProperty a owl:AnnotationProperty ; + rdfs:label "type property" . + +:AMR_NonCore_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:AMR_Predicat_Concept a owl:Class ; + rdfs:subClassOf :AMR_Concept . + +:AMR_Role a owl:Class ; + rdfs:subClassOf :AMR_Element . + +sys:Out_Structure a owl:Class ; + rdfs:label "Output Ontology Structure" . + +net:atomClass_gravitation_g a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + net:coverBaseNode :leaf_gravitation_g ; + net:coverNode :leaf_gravitation_g ; + net:hasClassName "gravitation" ; + net:hasClassType sys:Entity ; + net:hasNaming "gravitation" ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_system-hasPart-sun_s a net:Class_Net, + net:Composite_Class_Net ; + :role_domain net:atomClass_system_p, + net:individual_SolarSystem_p ; + net:composeFrom net:atomClass_sun_s2, + net:atomClass_system_s, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_system_s ; + net:coverNode :leaf_hasPart_p9, + :leaf_sun_s2, + :leaf_system_s ; + net:hasMotherClassNet net:atomClass_system_p, + net:atomClass_system_s ; + net:hasNaming "system-hasPart-sun" ; + net:hasRestriction net:restriction_hasPart-sun_p9 ; + net:hasStructure "SSC-01-01" . + +net:netProperty a owl:AnnotationProperty ; + rdfs:label "netProperty" . + +:AMR_ObjectProperty a owl:ObjectProperty ; + rdfs:subPropertyOf owl:topObjectProperty . + +:AMR_Structure a owl:Class . + +cprm:configParamProperty a rdf:Property ; + rdfs:label "Config Parameter Property" . + +net:Atom_Class_Net a owl:Class ; + rdfs:subClassOf net:Class_Net . + +net:Atom_Property_Net a owl:Class ; + rdfs:subClassOf net:Property_Net . + +net:atomProperty_hasManner_m9 a net:Atom_Property_Net ; + :role_ARG0 net:atomClass_orbit_o2, + net:atomProperty_orbit_o2 ; + :role_ARG1 net:phenomena_conjunction-OR_o3 ; + net:coverBaseNode :leaf_hasManner_m9 ; + net:coverNode :leaf_hasManner_m9 ; + net:hasNaming "hasManner" ; + net:hasPropertyName "hasManner" ; + net:hasPropertyName01 "hasMannering" ; + net:hasPropertyName10 "hasManner-by" ; + net:hasPropertyName12 "hasManner-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_or_o3, + :leaf_orbit-01_o2 . + +net:atomProperty_orbit_o2 a net:Atom_Property_Net, + net:Deprecated_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_orbit-01_o2 ; + net:hasNaming "orbit" ; + net:hasPropertyName "orbit" ; + net:hasPropertyName01 "orbiting" ; + net:hasPropertyName10 "orbit-by" ; + net:hasPropertyName12 "orbit-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_object_o, + :leaf_sun_s2 . + +net:value_SolarSystem_blankNode a net:Value_Net ; + net:coverAmrValue :value_SolarSystem ; + net:hasNaming "SolarSystem" ; + net:hasStructure "SSC-01-01" ; + net:hasValueLabel "SolarSystem" . + +rdf:Property a owl:Class . + +:AMR_Relation a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +sys:Entity a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +net:Deprecated_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Relation a owl:Class ; + rdfs:subClassOf net:Net_Structure . + +net:compositeClass_system-hasPart-object_s a net:Class_Net, + net:Composite_Class_Net ; + :role_domain net:atomClass_system_p, + net:individual_SolarSystem_p ; + net:composeFrom net:atomClass_object_o, + net:atomClass_system_s, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_system_s ; + net:coverNode :leaf_hasPart_p9, + :leaf_object_o, + :leaf_system_s ; + net:hasMotherClassNet net:atomClass_system_p, + net:atomClass_system_s ; + net:hasNaming "system-hasPart-object" ; + net:hasRestriction net:restriction_hasPart-object_p9 ; + net:hasStructure "SSC-01-01" . + +net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ; + :role_polarity net:value_negative_blankNode ; + net:composeFrom net:atomProperty_direct_d2 ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasNaming "not-direct" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" . + +net:has_object a owl:AnnotationProperty ; + rdfs:label "relation" ; + rdfs:subPropertyOf net:netProperty . + +:AMR_Op_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:leaf_direct-02_d a :AMR_Leaf ; + :hasConcept :concept_direct-02 ; + :hasVariable :variable_d . + +net:atomProperty_bind_b a net:Atom_Property_Net ; + :role_ARG0 net:atomClass_gravitation_g ; + :role_ARG1 net:atomClass_system_s ; + net:coverBaseNode :leaf_bind-01_b ; + net:coverNode :leaf_bind-01_b ; + net:hasNaming "bind" ; + net:hasPropertyName "bind" ; + net:hasPropertyName01 "binding" ; + net:hasPropertyName10 "bind-by" ; + net:hasPropertyName12 "bind-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_gravitation_g, + :leaf_system_s . + +net:atomProperty_direct_d2 a net:Atom_Property_Net, + net:Deprecated_Net ; + :role_polarity net:value_negative_blankNode ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasNaming "direct" ; + net:hasPropertyName "direct" ; + net:hasPropertyName01 "directing" ; + net:hasPropertyName10 "direct-by" ; + net:hasPropertyName12 "direct-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :value_negative . + +:AMR_AnnotationProperty a owl:AnnotationProperty . + +:AMR_Core_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:leaf_gravitation_g a :AMR_Leaf ; + :hasConcept :concept_gravitation ; + :hasVariable :variable_g . + +net:Class_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Net a owl:Class ; + rdfs:subClassOf net:Net_Structure . + +net:atomClass_system_s a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + :role_domain net:atomClass_system_p, + net:individual_SolarSystem_p ; + net:coverBaseNode :leaf_system_s ; + net:coverNode :leaf_system_s ; + net:hasClassName "system" ; + net:hasClassType sys:Entity ; + net:hasMotherClassNet net:atomClass_system_p ; + net:hasNaming "system" ; + net:hasStructure "SSC-01-01" . + +:leaf_bind-01_b a :AMR_Leaf ; + :edge_b_g :leaf_gravitation_g ; + :edge_b_s :leaf_system_s ; + :hasConcept :concept_bind-01 ; + :hasVariable :variable_b . + +net:Composite_Class_Net a owl:Class ; + rdfs:subClassOf net:Class_Net . + +net:Restriction_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:atomClass_system_p a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_system_p ; + net:hasClassName "system" ; + net:hasClassType sys:Entity ; + net:hasNaming "system" ; + net:hasStructure "SSC-01-01" . + +:AMR_Variable a owl:Class ; + rdfs:subClassOf :AMR_Element . + +:leaf_system_p a :AMR_Leaf ; + :edge_p_name_SolarSystem :value_SolarSystem ; + :hasConcept :concept_system ; + :hasVariable :variable_p . + +net:atomClass_object_o a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + net:coverBaseNode :leaf_object_o ; + net:coverNode :leaf_object_o ; + net:hasClassName "object" ; + net:hasClassType sys:Entity ; + net:hasNaming "object" ; + net:hasStructure "SSC-01-01" . + +net:atomProperty_hasPart_p9 a net:Atom_Property_Net ; + :role_ARG0 net:atomClass_system_s ; + :role_ARG1 net:atomClass_object_o, + net:atomClass_sun_s2, + net:phenomena_conjunction-AND_a ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_hasPart_p9 ; + net:hasNaming "hasPart" ; + net:hasPropertyName "hasPart" ; + net:hasPropertyName01 "hasParting" ; + net:hasPropertyName10 "hasPart-by" ; + net:hasPropertyName12 "hasPart-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_and_a, + :leaf_system_s . + +:AMR_Leaf a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:leaf_hasManner_m9 a :AMR_Leaf ; + :edge_m9_ARG0_o2 :leaf_orbit-01_o2 ; + :edge_m9_ARG1_o3 :leaf_or_o3 ; + :hasConcept :concept_manner ; + :hasVariable :variable_m9 ; + :isReifiedLeaf true . + +net:atomClass_sun_s2 a net:Atom_Class_Net, + net:Class_Net ; + net:coverBaseNode :leaf_sun_s2 ; + net:coverNode :leaf_sun_s2 ; + net:hasClassName "sun" ; + net:hasClassType sys:Entity ; + net:hasNaming "sun" ; + net:hasStructure "SSC-01-01" . + +net:objectValue a owl:AnnotationProperty ; + rdfs:label "valuations"@fr ; + rdfs:subPropertyOf net:objectProperty . + +:leaf_system_s a :AMR_Leaf ; + :edge_s_p :leaf_system_p ; + :hasConcept :concept_system ; + :hasVariable :variable_s . + +:AMR_Edge a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:leaf_object_o a :AMR_Leaf ; + :hasConcept :concept_object ; + :hasVariable :variable_o . + +:leaf_sun_s2 a :AMR_Leaf ; + :hasConcept :concept_sun ; + :hasVariable :variable_s2 . + +:leaf_hasPart_p9 a :AMR_Leaf ; + :edge_p9_ARG0_s :leaf_system_s ; + :edge_p9_ARG1_a :leaf_and_a ; + :hasConcept :concept_part ; + :hasVariable :variable_p9 ; + :isReifiedLeaf true . + +:leaf_orbit-01_o2 a :AMR_Leaf ; + :edge_o2_o :leaf_object_o ; + :edge_o2_s2 :leaf_sun_s2 ; + :hasConcept :concept_orbit-01 ; + :hasVariable :variable_o2 . + +:leaf_direct-02_d2 a :AMR_Leaf ; + :edge_d2_polarity_negative :value_negative ; + :hasConcept :concept_direct-02 ; + :hasVariable :variable_d2 . + +:AMR_Linked_Data a owl:Class . + +[] a owl:AllDisjointClasses ; + owl:members ( sys:Degree sys:Entity sys:Feature ) . + diff --git a/tests/dev_owl_rule_tests/test_data/deducer-devGraph-4.ttl b/tests/dev_owl_rule_tests/test_data/deducer-devGraph-4.ttl new file mode 100644 index 0000000000000000000000000000000000000000..53a0bc84ee2c8fb8ef16704a9571a5dfe42eb625 --- /dev/null +++ b/tests/dev_owl_rule_tests/test_data/deducer-devGraph-4.ttl @@ -0,0 +1,1552 @@ +@prefix : <https://amr.tetras-libre.fr/rdf/schema#> . +@prefix cprm: <https://tenet.tetras-libre.fr/config/parameters#> . +@prefix net: <https://tenet.tetras-libre.fr/semantic-net#> . +@prefix ns11: <http://amr.isi.edu/rdf/amr-terms#> . +@prefix ns2: <http://amr.isi.edu/rdf/core-amr#> . +@prefix ns3: <http://amr.isi.edu/frames/ld/v1.2.2/> . +@prefix owl: <http://www.w3.org/2002/07/owl#> . +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . +@prefix sys: <https://tenet.tetras-libre.fr/base-ontology#> . +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . + +ns2:Concept a rdfs:Class, + owl:Class ; + rdfs:label "AMR-Concept" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:Role a rdfs:Class, + owl:Class ; + rdfs:label "AMR-Role" ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/test-1#root01> ns2:hasID "test-1" ; + ns2:hasSentence "The sun is a star." ; + ns2:root <http://amr.isi.edu/amr_data/test-1#s> . + +<http://amr.isi.edu/amr_data/test-2#root01> ns2:hasID "test-2" ; + ns2:hasSentence "Earth is a planet." ; + ns2:root <http://amr.isi.edu/amr_data/test-2#p> . + +ns3:bind-01.ARG0 a ns3:FrameRole . + +ns3:bind-01.ARG1 a ns3:FrameRole . + +ns3:orbit-01.ARG0 a ns3:FrameRole . + +ns3:orbit-01.ARG1 a ns3:FrameRole . + +ns11:domain a ns2:Role, + owl:AnnotationProperty, + owl:NamedIndividual . + +ns11:op1 a ns2:Role . + +ns11:op2 a ns2:Role . + +ns2:hasID a owl:AnnotationProperty . + +ns2:hasSentence a owl:AnnotationProperty . + +ns2:root a owl:AnnotationProperty . + +<https://amr.tetras-libre.fr/rdf/schema> a owl:Ontology ; + owl:versionIRI :0.1 . + +:AMR_DataProperty a owl:DatatypeProperty . + +:AMR_Prep_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:edge_a_o a :AMR_Edge ; + :hasAmrRole :role_op2 ; + :hasRoleID "op2" . + +:edge_a_s2 a :AMR_Edge ; + :hasAmrRole :role_op1 ; + :hasRoleID "op1" . + +:edge_b_g a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_b_s a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_d2_polarity_negative a :AMR_Edge ; + :hasAmrRole :role_polarity ; + :hasRoleID "polarity" . + +:edge_m9_ARG0_o2 a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_m9_ARG1_o3 a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_o2_o a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_o2_s2 a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_o3_d a :AMR_Edge ; + :hasAmrRole :role_op1 ; + :hasRoleID "op1" . + +:edge_o3_d2 a :AMR_Edge ; + :hasAmrRole :role_op2 ; + :hasRoleID "op2" . + +:edge_p9_ARG0_s a :AMR_Edge ; + :hasAmrRole :role_ARG0 ; + :hasRoleID "ARG0" . + +:edge_p9_ARG1_a a :AMR_Edge ; + :hasAmrRole :role_ARG1 ; + :hasRoleID "ARG1" . + +:edge_p_name_SolarSystem a :AMR_Edge ; + :hasAmrRole :role_name ; + :hasRoleID "name" . + +:edge_s_p a :AMR_Edge ; + :hasAmrRole :role_domain ; + :hasRoleID "domain" . + +:fromAmrLkFramerole a owl:AnnotationProperty ; + rdfs:subPropertyOf :fromAmrLk . + +:fromAmrLkRole a owl:AnnotationProperty ; + rdfs:subPropertyOf :fromAmrLk . + +:fromAmrLkRoot a owl:AnnotationProperty ; + rdfs:subPropertyOf :fromAmrLk . + +:getDirectPropertyName a owl:AnnotationProperty ; + rdfs:subPropertyOf :getProperty . + +:getInversePropertyName a owl:AnnotationProperty ; + rdfs:subPropertyOf :getProperty . + +:getPropertyType a owl:AnnotationProperty ; + rdfs:subPropertyOf :getProperty . + +:hasConcept a owl:ObjectProperty ; + rdfs:domain :AMR_Leaf ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasConceptLink a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasLink . + +:hasEdgeLink a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasLink . + +:hasReification a owl:AnnotationProperty ; + rdfs:range xsd:boolean ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasReificationConcept a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasReificationDefinition . + +:hasReificationDomain a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasReificationDefinition . + +:hasReificationRange a owl:AnnotationProperty ; + rdfs:subPropertyOf :hasReificationDefinition . + +:hasRelationName a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasRoleID a owl:ObjectProperty ; + rdfs:domain :AMR_Edge ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasRoleTag a owl:ObjectProperty ; + rdfs:domain :AMR_Edge ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasRolesetID a owl:ObjectProperty ; + rdfs:domain :AMR_Edge ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasRootLeaf a owl:ObjectProperty ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:hasSentenceID a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasSentenceStatement a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasVariable a owl:ObjectProperty ; + rdfs:domain :AMR_Leaf ; + rdfs:subPropertyOf :AMR_ObjectProperty . + +:label a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:phenomena_degree a owl:Class ; + rdfs:subClassOf :AMR_Phenomena ; + :hasConceptLink "have-degree-91" ; + :label "degree" . + +:phenomena_modality_obligation a owl:Class ; + rdfs:subClassOf :phenomena_modality ; + :hasConceptLink "obligate-01" ; + :label "obligation-modality" . + +:phenomena_modality_possible a owl:Class ; + rdfs:subClassOf :phenomena_modality ; + :hasConceptLink "allow-01", + "grant-01", + "likely-01", + "permit-01", + "possible-01" ; + :label "possible-modality" . + +:phenomena_modality_prohibition a owl:Class ; + rdfs:subClassOf :phenomena_modality ; + :hasConceptLink "prohibit-01" ; + :label "prohibition-modality" . + +:relation_domain a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "domain" . + +:relation_manner a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification true ; + :hasReificationConcept "hasManner" ; + :hasReificationDomain "ARG1" ; + :hasReificationRange "ARG2" ; + :hasRelationName "manner" . + +:relation_mod a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "mod" . + +:relation_name a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "name" . + +:relation_part a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification true ; + :hasReificationConcept "hasPart" ; + :hasReificationDomain "ARG1" ; + :hasReificationRange "ARG2" ; + :hasRelationName "part" . + +:relation_polarity a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "polarity" . + +:relation_quant a owl:Class ; + rdfs:subClassOf :AMR_Relation ; + :hasReification false ; + :hasRelationName "quant" . + +:role_ARG2 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG2" . + +:role_ARG3 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG3" . + +:role_ARG4 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG4" . + +:role_ARG5 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG5" . + +:role_ARG6 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG6" . + +:role_ARG7 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG7" . + +:role_ARG8 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG8" . + +:role_ARG9 a owl:Class ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG9" . + +:role_have-degree-91 a owl:Class ; + rdfs:subClassOf :AMR_Specific_Role ; + :getPropertyType <net:specificProperty> . + +:role_manner a owl:Class ; + rdfs:subClassOf :AMR_NonCore_Role ; + :getDirectPropertyName "manner" ; + :getPropertyType owl:DataProperty ; + :label "manner" ; + :toReifyAsConcept "manner" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_mod a owl:Class ; + rdfs:subClassOf :AMR_NonCore_Role ; + :getDirectPropertyName "hasFeature"^^xsd:string ; + :getPropertyType rdfs:subClassOf, + owl:ObjectProperty ; + :label "mod" ; + :toReifyAsConcept "mod" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_op3 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op3" . + +:role_op4 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op4" . + +:role_op5 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op5" . + +:role_op6 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op6" . + +:role_op7 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op7" . + +:role_op8 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op8" . + +:role_op9 a owl:Class ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op9" . + +:role_part a owl:Class ; + rdfs:subClassOf :AMR_NonCore_Role ; + :getDirectPropertyName "hasPart"^^xsd:string ; + :getInversePropertyName "partOf"^^xsd:string ; + :getPropertyType owl:ObjectProperty ; + :toReifyAsConcept "part" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_quant a owl:Class ; + rdfs:subClassOf :AMR_Specific_Role ; + :label "quant" . + +:root_SSC-01-01 a :AMR_Root ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#root01> ; + :hasRootLeaf :leaf_system_s ; + :hasSentenceID "SSC-01-01" ; + :hasSentenceStatement "The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly." . + +:toReifyAsConcept a owl:AnnotationProperty ; + rdfs:subPropertyOf :toReify . + +:toReifyWithBaseEdge a owl:AnnotationProperty ; + rdfs:subPropertyOf :toReify . + +:toReifyWithHeadEdge a owl:AnnotationProperty ; + rdfs:subPropertyOf :toReify . + +<https://tenet.tetras-libre.fr/base-ontology> a owl:Ontology . + +sys:Event a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:Undetermined_Thing a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:fromStructure a owl:AnnotationProperty ; + rdfs:subPropertyOf sys:Out_AnnotationProperty . + +sys:hasDegree a owl:ObjectProperty ; + rdfs:subPropertyOf sys:Out_ObjectProperty . + +sys:hasFeature a owl:ObjectProperty ; + rdfs:subPropertyOf sys:Out_ObjectProperty . + +<https://tenet.tetras-libre.fr/config/parameters> a owl:Ontology . + +cprm:Config_Parameters a owl:Class ; + cprm:baseURI "https://tenet.tetras-libre.fr/" ; + cprm:netURI "https://tenet.tetras-libre.fr/semantic-net#" ; + cprm:newClassRef "new-class#" ; + cprm:newPropertyRef "new-relation#" ; + cprm:objectRef "object_" ; + cprm:targetOntologyURI "https://tenet.tetras-libre.fr/base-ontology/" . + +cprm:baseURI a rdf:Property ; + rdfs:label "Base URI" ; + rdfs:domain cprm:Frame ; + rdfs:range xsd:string ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:netURI a rdf:Property ; + rdfs:label "Net URI" ; + rdfs:domain cprm:Frame ; + rdfs:range xsd:string ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:newClassRef a rdf:Property ; + rdfs:label "Reference for a new class" ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:newPropertyRef a rdf:Property ; + rdfs:label "Reference for a new property" ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:objectRef a rdf:Property ; + rdfs:label "Object Reference" ; + rdfs:subPropertyOf cprm:configParamProperty . + +cprm:targetOntologyURI a rdf:Property ; + rdfs:label "URI of classes in target ontology" ; + rdfs:domain cprm:Frame ; + rdfs:range xsd:string ; + rdfs:subPropertyOf cprm:configParamProperty . + +<https://tenet.tetras-libre.fr/semantic-net> a owl:Ontology . + +net:Logical_Set_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Property_Axiom_Net a owl:Class ; + rdfs:subClassOf net:Axiom_Net . + +net:Property_Direction a owl:Class ; + rdfs:subClassOf net:Feature . + +net:Relation_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:abstractionClass a owl:AnnotationProperty ; + rdfs:label "abstraction class" ; + rdfs:subPropertyOf net:objectValue . + +net:atomOf a owl:AnnotationProperty ; + rdfs:label "atom of" ; + rdfs:subPropertyOf net:typeProperty . + +net:atomType a owl:AnnotationProperty ; + rdfs:label "atom type" ; + rdfs:subPropertyOf net:objectType . + +net:axiom_disjointProperty_direct_not-direct_d2 a net:Axiom_Net ; + net:composeFrom net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasAxiomName "disjointProperty" ; + net:hasAxiomURI owl:propertyDisjointWith ; + net:hasNaming "disjointProperty_direct_not-direct" ; + net:hasNetArgument net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:hasStructure "SSC-01-01" . + +net:axiom_disjointProperty_not-direct_direct_d2 a net:Axiom_Net ; + net:composeFrom net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasAxiomName "disjointProperty" ; + net:hasAxiomURI owl:propertyDisjointWith ; + net:hasNaming "disjointProperty_not-direct_direct" ; + net:hasNetArgument net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_gravitation-bind-system_g a net:Composite_Class_Net ; + net:composeFrom net:atomClass_gravitation_g, + net:atomClass_system_s, + net:atomProperty_bind_b ; + net:coverBaseNode :leaf_gravitation_g ; + net:coverNode :leaf_bind-01_b, + :leaf_gravitation_g, + :leaf_system_s ; + net:hasMotherClassNet net:atomClass_gravitation_g ; + net:hasNaming "gravitation-bind-system" ; + net:hasRestriction net:restriction_bind-system_b ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_object-orbit-hasManner-direct-sun_o a net:Composite_Class_Net ; + net:composeFrom net:atomClass_object_o, + net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-direct_o2 ; + net:coverBaseNode :leaf_object_o ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasMotherClassNet net:atomClass_object_o ; + net:hasNaming "object-orbit-hasManner-direct-sun" ; + net:hasRestriction net:restriction_orbit-hasManner-direct-sun_o2 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_object-orbit-hasManner-not-direct-sun_o a net:Composite_Class_Net ; + net:composeFrom net:atomClass_object_o, + net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-not-direct_o2 ; + net:coverBaseNode :leaf_object_o ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_object_o, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasMotherClassNet net:atomClass_object_o ; + net:hasNaming "object-orbit-hasManner-not-direct-sun" ; + net:hasRestriction net:restriction_orbit-hasManner-not-direct-sun_o2 ; + net:hasStructure "SSC-01-01" . + +net:entityClass a owl:AnnotationProperty ; + rdfs:label "entity class" ; + rdfs:subPropertyOf net:objectValue . + +net:featureClass a owl:AnnotationProperty ; + rdfs:label "feature class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_atom a owl:AnnotationProperty ; + rdfs:label "has atom" ; + rdfs:subPropertyOf net:has_object . + +net:has_class a owl:AnnotationProperty ; + rdfs:label "is class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_class_name a owl:AnnotationProperty ; + rdfs:subPropertyOf net:has_value . + +net:has_class_uri a owl:AnnotationProperty ; + rdfs:label "class uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_concept a owl:AnnotationProperty ; + rdfs:label "concept "@fr ; + rdfs:subPropertyOf net:objectValue . + +net:has_entity a owl:AnnotationProperty ; + rdfs:label "has entity" ; + rdfs:subPropertyOf net:has_object . + +net:has_feature a owl:AnnotationProperty ; + rdfs:label "has feature" ; + rdfs:subPropertyOf net:has_object . + +net:has_instance a owl:AnnotationProperty ; + rdfs:label "entity instance" ; + rdfs:subPropertyOf net:objectValue . + +net:has_instance_uri a owl:AnnotationProperty ; + rdfs:label "instance uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_item a owl:AnnotationProperty ; + rdfs:label "has item" ; + rdfs:subPropertyOf net:has_object . + +net:has_mother_class a owl:AnnotationProperty ; + rdfs:label "has mother class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_mother_class_uri a owl:AnnotationProperty ; + rdfs:label "parent class uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_node a owl:AnnotationProperty ; + rdfs:label "UNL Node" ; + rdfs:subPropertyOf net:netProperty . + +net:has_parent a owl:AnnotationProperty ; + rdfs:label "has parent" ; + rdfs:subPropertyOf net:has_object . + +net:has_parent_class a owl:AnnotationProperty ; + rdfs:label "parent class" ; + rdfs:subPropertyOf net:objectValue . + +net:has_parent_class_uri a owl:AnnotationProperty ; + rdfs:label "parent class uri" ; + rdfs:subPropertyOf net:objectValue . + +net:has_possible_domain a owl:AnnotationProperty ; + rdfs:label "has possible domain" ; + rdfs:subPropertyOf net:has_object . + +net:has_possible_range a owl:AnnotationProperty ; + rdfs:label "has possible range" ; + rdfs:subPropertyOf net:has_object . + +net:has_relation a owl:AnnotationProperty ; + rdfs:label "has relation" ; + rdfs:subPropertyOf net:has_relation_value . + +net:has_source a owl:AnnotationProperty ; + rdfs:label "has source" ; + rdfs:subPropertyOf net:has_relation_value . + +net:has_structure a owl:AnnotationProperty ; + rdfs:label "Linguistic Structure (in UNL Document)" ; + rdfs:subPropertyOf net:netProperty . + +net:has_target a owl:AnnotationProperty ; + rdfs:label "has target" ; + rdfs:subPropertyOf net:has_relation_value . + +net:inverse_direction a owl:NamedIndividual . + +net:listBy a owl:AnnotationProperty ; + rdfs:label "list by" ; + rdfs:subPropertyOf net:typeProperty . + +net:listGuiding a owl:AnnotationProperty ; + rdfs:label "Guiding connector of a list (or, and)" ; + rdfs:subPropertyOf net:objectValue . + +net:listOf a owl:AnnotationProperty ; + rdfs:label "list of" ; + rdfs:subPropertyOf net:typeProperty . + +net:modCat1 a owl:AnnotationProperty ; + rdfs:label "Modality Category (level 1)" ; + rdfs:subPropertyOf net:objectValue . + +net:modCat2 a owl:AnnotationProperty ; + rdfs:label "Modality Category (level 2)" ; + rdfs:subPropertyOf net:objectValue . + +net:normal_direction a owl:NamedIndividual . + +net:relationOf a owl:AnnotationProperty ; + rdfs:label "relation of" ; + rdfs:subPropertyOf net:typeProperty . + +net:type a owl:AnnotationProperty ; + rdfs:label "type "@fr ; + rdfs:subPropertyOf net:netProperty . + +net:verbClass a owl:AnnotationProperty ; + rdfs:label "verb class" ; + rdfs:subPropertyOf net:objectValue . + +<http://amr.isi.edu/amr_data/SSC-01-01#b> a ns3:bind-01 ; + ns3:bind-01.ARG0 <http://amr.isi.edu/amr_data/SSC-01-01#g> ; + ns3:bind-01.ARG1 <http://amr.isi.edu/amr_data/SSC-01-01#s> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#o2> a ns3:orbit-01 ; + ns3:orbit-01.ARG0 <http://amr.isi.edu/amr_data/SSC-01-01#o> ; + ns3:orbit-01.ARG1 <http://amr.isi.edu/amr_data/SSC-01-01#s2> ; + ns11:manner <http://amr.isi.edu/amr_data/SSC-01-01#o3> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#root01> a ns2:AMR ; + ns2:has-id "SSC-01-01" ; + ns2:has-sentence "The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly." ; + ns2:root <http://amr.isi.edu/amr_data/SSC-01-01#s> . + +<http://amr.isi.edu/amr_data/test-1#s> ns11:domain <http://amr.isi.edu/amr_data/test-1#s2> . + +<http://amr.isi.edu/amr_data/test-2#p> rdfs:label "Earth" . + +<http://amr.isi.edu/entity-types#planet> a ns2:NamedEntity ; + rdfs:comment "bug" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:AMR a owl:Class ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Root a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:concept_and rdfs:subClassOf :AMR_Relation_Concept ; + :fromAmrLk ns2:and ; + :hasPhenomenaLink :phenomena_conjunction_and ; + :label "and" . + +:concept_bind-01 rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns3:bind-01 ; + :label "bind-01" . + +:concept_gravitation rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk ns11:gravitation ; + :label "gravitation" . + +:concept_manner rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns11:manner ; + :isReifiedConcept true ; + :label "hasManner" . + +:concept_object rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk ns11:object ; + :label "object" . + +:concept_or rdfs:subClassOf :AMR_Relation_Concept ; + :fromAmrLk ns2:or ; + :hasPhenomenaLink :phenomena_conjunction_or ; + :label "or" . + +:concept_orbit-01 rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns3:orbit-01 ; + :label "orbit-01" . + +:concept_part rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns11:part ; + :isReifiedConcept true ; + :label "hasPart" . + +:concept_sun rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk ns11:sun ; + :label "sun" . + +:role_domain a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_NonCore_Role ; + :hasRelationName "domain" ; + :label "domain" ; + :toReifyAsConcept "domain" ; + :toReifyWithBaseEdge "ARG0" ; + :toReifyWithHeadEdge "ARG1" . + +:role_name a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_NonCore_Role ; + :label "name" . + +:role_polarity a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Specific_Role ; + :label "polarity" . + +:variable_a a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#a> ; + :label "a" . + +:variable_b a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#b> ; + :label "b" . + +:variable_d a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#d> ; + :label "d" . + +:variable_d2 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#d2> ; + :label "d2" . + +:variable_g a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#g> ; + :label "g" . + +:variable_m9 a ns11:manner, + :AMR_Variable ; + :isReifiedVariable true ; + :label "m9" . + +:variable_o a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#o> ; + :label "o" . + +:variable_o2 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#o2> ; + :label "o2" . + +:variable_o3 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#o3> ; + :label "o3" . + +:variable_p a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#p> ; + :label "p" ; + :name "Solar System" . + +:variable_p9 a ns11:part, + :AMR_Variable ; + :isReifiedVariable true ; + :label "p9" . + +:variable_s a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#s> ; + :label "s" . + +:variable_s2 a :AMR_Variable ; + :fromAmrLk <http://amr.isi.edu/amr_data/SSC-01-01#s2> ; + :label "s2" . + +sys:Degree a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:Feature a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +sys:Out_AnnotationProperty a owl:AnnotationProperty . + +net:Feature a owl:Class ; + rdfs:subClassOf net:Net_Structure . + +net:Individual_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:atomClass_orbit_o2 a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:composeFrom net:atomProperty_orbit_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_orbit-01_o2 ; + net:hasClassName "orbit" ; + net:hasClassType sys:Entity ; + net:hasNaming "orbit" ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_system-hasPart-object_s a net:Class_Net, + net:Composite_Class_Net ; + :role_domain net:atomClass_system_p, + net:individual_SolarSystem_p ; + net:composeFrom net:atomClass_object_o, + net:atomClass_system_s, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_system_s ; + net:coverNode :leaf_hasPart_p9, + :leaf_object_o, + :leaf_system_s ; + net:hasMotherClassNet net:atomClass_system_p, + net:atomClass_system_s ; + net:hasNaming "system-hasPart-object" ; + net:hasRestriction net:restriction_hasPart-object_p9 ; + net:hasStructure "SSC-01-01" . + +net:compositeClass_system-hasPart-sun_s a net:Class_Net, + net:Composite_Class_Net ; + :role_domain net:atomClass_system_p, + net:individual_SolarSystem_p ; + net:composeFrom net:atomClass_sun_s2, + net:atomClass_system_s, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_system_s ; + net:coverNode :leaf_hasPart_p9, + :leaf_sun_s2, + :leaf_system_s ; + net:hasMotherClassNet net:atomClass_system_p, + net:atomClass_system_s ; + net:hasNaming "system-hasPart-sun" ; + net:hasRestriction net:restriction_hasPart-sun_p9 ; + net:hasStructure "SSC-01-01" . + +net:has_value a owl:AnnotationProperty ; + rdfs:subPropertyOf net:netProperty . + +net:objectType a owl:AnnotationProperty ; + rdfs:label "object type" ; + rdfs:subPropertyOf net:objectProperty . + +net:phenomena_conjunction-AND_a a net:Phenomena_Net ; + :role_op1 net:atomClass_sun_s2 ; + :role_op2 net:atomClass_object_o ; + net:coverBaseNode :leaf_and_a ; + net:coverNode :leaf_and_a ; + net:hasNaming "conjunction-AND" ; + net:hasPhenomenaRef "and" ; + net:hasPhenomenaType :phenomena_conjunction_and ; + net:hasStructure "SSC-01-01" . + +net:phenomena_conjunction-OR_o3 a net:Phenomena_Net ; + :role_op1 net:atomProperty_direct_d ; + :role_op2 net:atomProperty_direct_d2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_or_o3 ; + net:coverNode :leaf_or_o3 ; + net:hasNaming "conjunction-OR" ; + net:hasPhenomenaRef "or" ; + net:hasPhenomenaType :phenomena_conjunction_or ; + net:hasStructure "SSC-01-01" . + +net:restriction_bind-system_b a net:Restriction_Net ; + net:composeFrom net:atomClass_system_s, + net:atomProperty_bind_b ; + net:coverBaseNode :leaf_bind-01_b ; + net:coverNode :leaf_bind-01_b, + :leaf_system_s ; + net:hasNaming "bind-system" ; + net:hasRestrictionNetValue net:atomClass_system_s ; + net:hasRestrictionOnProperty net:atomProperty_bind_b ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasManner-direct_m9 a net:Restriction_Net ; + net:composeFrom net:atomProperty_direct_d, + net:atomProperty_direct_d2, + net:atomProperty_hasManner_m9 ; + net:coverBaseNode :leaf_hasManner_m9 ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9 ; + net:hasNaming "hasManner-direct" ; + net:hasRestrictionNetValue net:atomProperty_direct_d, + net:atomProperty_direct_d2 ; + net:hasRestrictionOnProperty net:atomProperty_hasManner_m9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasManner-not-direct_m9 a net:Restriction_Net ; + net:composeFrom net:atomProperty_hasManner_m9, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_hasManner_m9 ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9 ; + net:hasNaming "hasManner-not-direct" ; + net:hasRestrictionNetValue net:compositeProperty_not-direct_d2 ; + net:hasRestrictionOnProperty net:atomProperty_hasManner_m9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasPart-object_p9 a net:Restriction_Net ; + net:composeFrom net:atomClass_object_o, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_hasPart_p9, + :leaf_object_o ; + net:hasNaming "hasPart-object" ; + net:hasRestrictionNetValue net:atomClass_object_o ; + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_hasPart-sun_p9 a net:Restriction_Net ; + net:composeFrom net:atomClass_sun_s2, + net:atomProperty_hasPart_p9 ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_hasPart_p9, + :leaf_sun_s2 ; + net:hasNaming "hasPart-sun" ; + net:hasRestrictionNetValue net:atomClass_sun_s2 ; + net:hasRestrictionOnProperty net:atomProperty_hasPart_p9 ; + net:hasStructure "SSC-01-01" . + +net:restriction_orbit-hasManner-direct-sun_o2 a net:Restriction_Net ; + net:composeFrom net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-direct_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasNaming "orbit-hasManner-direct-sun" ; + net:hasRestrictionNetValue net:atomClass_sun_s2 ; + net:hasRestrictionOnProperty net:compositeProperty_orbit-hasManner-direct_o2 ; + net:hasStructure "SSC-01-01" . + +net:restriction_orbit-hasManner-not-direct-sun_o2 a net:Restriction_Net ; + net:composeFrom net:atomClass_sun_s2, + net:compositeProperty_orbit-hasManner-not-direct_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2, + :leaf_sun_s2 ; + net:hasNaming "orbit-hasManner-not-direct-sun" ; + net:hasRestrictionNetValue net:atomClass_sun_s2 ; + net:hasRestrictionOnProperty net:compositeProperty_orbit-hasManner-not-direct_o2 ; + net:hasStructure "SSC-01-01" . + +<http://amr.isi.edu/amr_data/SSC-01-01#a> a ns2:and ; + ns11:op1 <http://amr.isi.edu/amr_data/SSC-01-01#s2> ; + ns11:op2 <http://amr.isi.edu/amr_data/SSC-01-01#o> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#d> a ns3:direct-02 ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#d2> a ns3:direct-02 ; + ns11:polarity "-" ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#g> a ns11:gravitation ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#o3> a ns2:or ; + ns11:op1 <http://amr.isi.edu/amr_data/SSC-01-01#d> ; + ns11:op2 <http://amr.isi.edu/amr_data/SSC-01-01#d2> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#p> a <http://amr.isi.edu/entity-types#planet>, + <http://amr.isi.edu/entity-types#system> ; + rdfs:label "Solar System" ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/entity-types#system> a ns2:NamedEntity ; + rdfs:label "system" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns3:bind-01 a ns2:Frame ; + rdfs:subClassOf :AMR_Linked_Data . + +ns3:orbit-01 a ns2:Frame ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:gravitation a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:manner a ns2:Role ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:object a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:part a ns2:Role ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:sun a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns11:system a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:NamedEntity a ns2:Concept, + owl:Class, + owl:NamedIndividual ; + rdfs:label "AMR-EntityType", + "AMR-Term" ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:and a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:or a ns2:Concept ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Relation_Concept a owl:Class ; + rdfs:subClassOf :AMR_Concept . + +:AMR_Value a owl:Class ; + rdfs:subClassOf :AMR_Element . + +:concept_direct-02 rdfs:subClassOf :AMR_Predicat_Concept ; + :fromAmrLk ns3:direct-02 ; + :label "direct-02" . + +:concept_system rdfs:subClassOf :AMR_Term_Concept ; + :fromAmrLk <http://amr.isi.edu/entity-types#system>, + ns11:system ; + :label "system" . + +:hasLink a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:phenomena_conjunction a owl:Class ; + rdfs:subClassOf :AMR_Phenomena ; + :hasConceptLink "contrast-01", + "either", + "neither" ; + :label "conjunction" . + +:phenomena_conjunction_and a owl:Class ; + rdfs:subClassOf :phenomena_conjunction ; + :hasConceptLink "and" ; + :label "conjunction-AND" . + +:phenomena_conjunction_or a owl:Class ; + rdfs:subClassOf :phenomena_conjunction ; + :hasConceptLink "or" ; + :label "conjunction-OR" . + +:role_op1 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op1" . + +:role_op2 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Op_Role ; + :label "op2" . + +:value_SolarSystem a :AMR_Value ; + rdfs:label "SolarSystem" . + +sys:Out_ObjectProperty a owl:ObjectProperty . + +net:Phenomena_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Property_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Value_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:objectProperty a owl:AnnotationProperty ; + rdfs:label "object attribute" . + +net:value_SolarSystem_blankNode a net:Value_Net ; + net:coverAmrValue :value_SolarSystem ; + net:hasNaming "SolarSystem" ; + net:hasStructure "SSC-01-01" ; + net:hasValueLabel "SolarSystem" . + +net:value_negative_blankNode a net:Value_Net ; + net:coverAmrValue :value_negative ; + net:hasNaming "negative" ; + net:hasStructure "SSC-01-01" ; + net:hasValueLabel "negative" . + +<http://amr.isi.edu/amr_data/SSC-01-01#o> a ns11:object ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#s> a ns11:system ; + ns11:domain <http://amr.isi.edu/amr_data/SSC-01-01#p> ; + ns11:part <http://amr.isi.edu/amr_data/SSC-01-01#a> ; + rdfs:subClassOf :AMR_Linked_Data . + +<http://amr.isi.edu/amr_data/SSC-01-01#s2> a ns11:sun ; + rdfs:subClassOf :AMR_Linked_Data . + +ns3:direct-02 a ns2:Frame ; + rdfs:subClassOf :AMR_Linked_Data . + +ns2:Frame a ns2:Concept, + owl:Class, + owl:NamedIndividual ; + rdfs:label "AMR-PropBank-Frame" ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Concept a owl:Class ; + rdfs:subClassOf :AMR_Element . + +:AMR_Phenomena a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:AMR_Specific_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:fromAmrLk a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:getProperty a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:hasReificationDefinition a owl:AnnotationProperty ; + rdfs:range rdfs:Literal ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:phenomena_modality a owl:Class ; + rdfs:subClassOf :AMR_Phenomena . + +:toReify a owl:AnnotationProperty ; + rdfs:subPropertyOf :AMR_AnnotationProperty . + +:value_negative a :AMR_Value ; + rdfs:label "negative" . + +net:Axiom_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Composite_Property_Net a owl:Class ; + rdfs:subClassOf net:Property_Net . + +net:Net_Structure a owl:Class ; + rdfs:label "Semantic Net Structure" ; + rdfs:comment "A semantic net captures a set of nodes, and associates this set with type(s) and value(s)." . + +net:atomClass_gravitation_g a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + net:coverBaseNode :leaf_gravitation_g ; + net:coverNode :leaf_gravitation_g ; + net:hasClassName "gravitation" ; + net:hasClassType sys:Entity ; + net:hasNaming "gravitation" ; + net:hasStructure "SSC-01-01" . + +net:atomProperty_bind_b a net:Atom_Property_Net ; + :role_ARG0 net:atomClass_gravitation_g ; + :role_ARG1 net:atomClass_system_s ; + net:coverBaseNode :leaf_bind-01_b ; + net:coverNode :leaf_bind-01_b ; + net:hasNaming "bind" ; + net:hasPropertyName "bind" ; + net:hasPropertyName01 "binding" ; + net:hasPropertyName10 "bind-by" ; + net:hasPropertyName12 "bind-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_gravitation_g, + :leaf_system_s . + +net:compositeProperty_orbit-hasManner-direct_o2 a net:Composite_Property_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:composeFrom net:atomProperty_direct_d, + net:atomProperty_direct_d2, + net:atomProperty_hasManner_m9, + net:atomProperty_orbit_o2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d, + :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2 ; + net:hasMotherPropertyNet net:atomProperty_orbit_o2 ; + net:hasNaming "orbit-hasManner-direct" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasRestriction net:restriction_hasManner-direct_m9 ; + net:hasStructure "SSC-01-01" . + +net:compositeProperty_orbit-hasManner-not-direct_o2 a net:Composite_Property_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:composeFrom net:atomProperty_hasManner_m9, + net:atomProperty_orbit_o2, + net:compositeProperty_not-direct_d2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_direct-02_d2, + :leaf_hasManner_m9, + :leaf_orbit-01_o2 ; + net:hasMotherPropertyNet net:atomProperty_orbit_o2 ; + net:hasNaming "orbit-hasManner-not-direct" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasRestriction net:restriction_hasManner-not-direct_m9 ; + net:hasStructure "SSC-01-01" . + +net:has_relation_value a owl:AnnotationProperty ; + rdfs:label "has relation value" ; + rdfs:subPropertyOf net:has_object . + +net:individual_SolarSystem_p a net:Individual_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_system_p ; + net:hasIndividualLabel "SolarSystem" ; + net:hasMotherClassNet net:atomClass_system_p, + net:atomClass_system_s, + net:compositeClass_system-hasPart-object_s, + net:compositeClass_system-hasPart-sun_s ; + net:hasNaming "SolarSystem" ; + net:hasStructure "SSC-01-01" . + +ns3:FrameRole a ns2:Role, + owl:Class, + owl:NamedIndividual ; + rdfs:label "AMR-PropBank-Role" ; + rdfs:subClassOf :AMR_Linked_Data . + +:AMR_Element a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:AMR_Term_Concept a owl:Class ; + rdfs:subClassOf :AMR_Concept . + +:leaf_and_a a :AMR_Leaf ; + :edge_a_o :leaf_object_o ; + :edge_a_s2 :leaf_sun_s2 ; + :hasConcept :concept_and ; + :hasVariable :variable_a . + +:leaf_or_o3 a :AMR_Leaf ; + :edge_o3_d :leaf_direct-02_d ; + :edge_o3_d2 :leaf_direct-02_d2 ; + :hasConcept :concept_or ; + :hasVariable :variable_o3 . + +:role_ARG0 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG0" . + +:role_ARG1 a owl:Class, + net:Relation ; + rdfs:subClassOf :AMR_Core_Role ; + :label "ARG1" . + +net:atomProperty_direct_d a net:Atom_Property_Net ; + net:coverBaseNode :leaf_direct-02_d ; + net:coverNode :leaf_direct-02_d ; + net:hasNaming "direct" ; + net:hasPropertyName "direct" ; + net:hasPropertyName01 "directing" ; + net:hasPropertyName10 "direct-by" ; + net:hasPropertyName12 "direct-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" . + +net:typeProperty a owl:AnnotationProperty ; + rdfs:label "type property" . + +:AMR_NonCore_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +:AMR_Predicat_Concept a owl:Class ; + rdfs:subClassOf :AMR_Concept . + +:AMR_Role a owl:Class ; + rdfs:subClassOf :AMR_Element . + +:leaf_bind-01_b a :AMR_Leaf ; + :edge_b_g :leaf_gravitation_g ; + :edge_b_s :leaf_system_s ; + :hasConcept :concept_bind-01 ; + :hasVariable :variable_b . + +:leaf_system_p a :AMR_Leaf ; + :edge_p_name_SolarSystem :value_SolarSystem ; + :hasConcept :concept_system ; + :hasVariable :variable_p . + +sys:Out_Structure a owl:Class ; + rdfs:label "Output Ontology Structure" . + +net:Composite_Class_Net a owl:Class ; + rdfs:subClassOf net:Class_Net . + +net:netProperty a owl:AnnotationProperty ; + rdfs:label "netProperty" . + +:AMR_ObjectProperty a owl:ObjectProperty ; + rdfs:subPropertyOf owl:topObjectProperty . + +:AMR_Structure a owl:Class . + +:leaf_gravitation_g a :AMR_Leaf ; + :hasConcept :concept_gravitation ; + :hasVariable :variable_g . + +cprm:configParamProperty a rdf:Property ; + rdfs:label "Config Parameter Property" . + +net:Atom_Class_Net a owl:Class ; + rdfs:subClassOf net:Class_Net . + +net:Atom_Property_Net a owl:Class ; + rdfs:subClassOf net:Property_Net . + +net:atomProperty_hasManner_m9 a net:Atom_Property_Net ; + :role_ARG0 net:atomClass_orbit_o2, + net:atomProperty_orbit_o2 ; + :role_ARG1 net:phenomena_conjunction-OR_o3 ; + net:coverBaseNode :leaf_hasManner_m9 ; + net:coverNode :leaf_hasManner_m9 ; + net:hasNaming "hasManner" ; + net:hasPropertyName "hasManner" ; + net:hasPropertyName01 "hasMannering" ; + net:hasPropertyName10 "hasManner-by" ; + net:hasPropertyName12 "hasManner-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_or_o3, + :leaf_orbit-01_o2 . + +net:atomProperty_hasPart_p9 a net:Atom_Property_Net ; + :role_ARG0 net:atomClass_system_s ; + :role_ARG1 net:atomClass_object_o, + net:atomClass_sun_s2, + net:phenomena_conjunction-AND_a ; + net:coverBaseNode :leaf_hasPart_p9 ; + net:coverNode :leaf_hasPart_p9 ; + net:hasNaming "hasPart" ; + net:hasPropertyName "hasPart" ; + net:hasPropertyName01 "hasParting" ; + net:hasPropertyName10 "hasPart-by" ; + net:hasPropertyName12 "hasPart-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_and_a, + :leaf_system_s . + +net:atomProperty_orbit_o2 a net:Atom_Property_Net, + net:Deprecated_Net ; + :role_ARG0 net:atomClass_object_o ; + :role_ARG1 net:atomClass_sun_s2 ; + net:coverBaseNode :leaf_orbit-01_o2 ; + net:coverNode :leaf_orbit-01_o2 ; + net:hasNaming "orbit" ; + net:hasPropertyName "orbit" ; + net:hasPropertyName01 "orbiting" ; + net:hasPropertyName10 "orbit-by" ; + net:hasPropertyName12 "orbit-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :leaf_object_o, + :leaf_sun_s2 . + +rdf:Property a owl:Class . + +:AMR_Relation a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:leaf_direct-02_d a :AMR_Leaf ; + :hasConcept :concept_direct-02 ; + :hasVariable :variable_d . + +sys:Entity a owl:Class ; + rdfs:subClassOf sys:Out_Structure . + +net:Deprecated_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Relation a owl:Class ; + rdfs:subClassOf net:Net_Structure . + +net:Restriction_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:atomClass_system_p a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + :role_name net:value_SolarSystem_blankNode ; + net:coverBaseNode :leaf_system_p ; + net:coverNode :leaf_system_p ; + net:hasClassName "system" ; + net:hasClassType sys:Entity ; + net:hasNaming "system" ; + net:hasStructure "SSC-01-01" . + +:leaf_hasPart_p9 a :AMR_Leaf ; + :edge_p9_ARG0_s :leaf_system_s ; + :edge_p9_ARG1_a :leaf_and_a ; + :hasConcept :concept_part ; + :hasVariable :variable_p9 ; + :isReifiedLeaf true . + +net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ; + :role_polarity net:value_negative_blankNode ; + net:composeFrom net:atomProperty_direct_d2 ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasNaming "not-direct" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" . + +net:has_object a owl:AnnotationProperty ; + rdfs:label "relation" ; + rdfs:subPropertyOf net:netProperty . + +:AMR_Op_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +net:atomProperty_direct_d2 a net:Atom_Property_Net, + net:Deprecated_Net ; + :role_polarity net:value_negative_blankNode ; + net:coverBaseNode :leaf_direct-02_d2 ; + net:coverNode :leaf_direct-02_d2 ; + net:hasNaming "direct" ; + net:hasPropertyName "direct" ; + net:hasPropertyName01 "directing" ; + net:hasPropertyName10 "direct-by" ; + net:hasPropertyName12 "direct-of" ; + net:hasPropertyType owl:ObjectProperty ; + net:hasStructure "SSC-01-01" ; + net:isCoreRoleLinked "true" ; + net:targetArgumentNode :value_negative . + +:AMR_AnnotationProperty a owl:AnnotationProperty . + +:AMR_Core_Role a owl:Class ; + rdfs:subClassOf :AMR_Role . + +net:Class_Net a owl:Class ; + rdfs:subClassOf net:Net . + +net:Net a owl:Class ; + rdfs:subClassOf net:Net_Structure . + +net:atomClass_system_s a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + :role_domain net:atomClass_system_p, + net:individual_SolarSystem_p ; + net:coverBaseNode :leaf_system_s ; + net:coverNode :leaf_system_s ; + net:hasClassName "system" ; + net:hasClassType sys:Entity ; + net:hasMotherClassNet net:atomClass_system_p ; + net:hasNaming "system" ; + net:hasStructure "SSC-01-01" . + +:leaf_object_o a :AMR_Leaf ; + :hasConcept :concept_object ; + :hasVariable :variable_o . + +:leaf_sun_s2 a :AMR_Leaf ; + :hasConcept :concept_sun ; + :hasVariable :variable_s2 . + +:leaf_hasManner_m9 a :AMR_Leaf ; + :edge_m9_ARG0_o2 :leaf_orbit-01_o2 ; + :edge_m9_ARG1_o3 :leaf_or_o3 ; + :hasConcept :concept_manner ; + :hasVariable :variable_m9 ; + :isReifiedLeaf true . + +:AMR_Variable a owl:Class ; + rdfs:subClassOf :AMR_Element . + +:leaf_system_s a :AMR_Leaf ; + :edge_s_p :leaf_system_p ; + :hasConcept :concept_system ; + :hasVariable :variable_s . + +net:atomClass_object_o a net:Atom_Class_Net, + net:Class_Net, + net:Deprecated_Net ; + net:coverBaseNode :leaf_object_o ; + net:coverNode :leaf_object_o ; + net:hasClassName "object" ; + net:hasClassType sys:Entity ; + net:hasNaming "object" ; + net:hasStructure "SSC-01-01" . + +:AMR_Leaf a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +net:atomClass_sun_s2 a net:Atom_Class_Net, + net:Class_Net ; + net:coverBaseNode :leaf_sun_s2 ; + net:coverNode :leaf_sun_s2 ; + net:hasClassName "sun" ; + net:hasClassType sys:Entity ; + net:hasNaming "sun" ; + net:hasStructure "SSC-01-01" . + +:leaf_orbit-01_o2 a :AMR_Leaf ; + :edge_o2_o :leaf_object_o ; + :edge_o2_s2 :leaf_sun_s2 ; + :hasConcept :concept_orbit-01 ; + :hasVariable :variable_o2 . + +net:objectValue a owl:AnnotationProperty ; + rdfs:label "valuations"@fr ; + rdfs:subPropertyOf net:objectProperty . + +:leaf_direct-02_d2 a :AMR_Leaf ; + :edge_d2_polarity_negative :value_negative ; + :hasConcept :concept_direct-02 ; + :hasVariable :variable_d2 . + +:AMR_Edge a owl:Class ; + rdfs:subClassOf :AMR_Structure . + +:AMR_Linked_Data a owl:Class . + +[] a owl:AllDisjointClasses ; + owl:members ( sys:Degree sys:Entity sys:Feature ) . + diff --git a/tests/dev_owl_rule_tests/test_rule_deducer_restriction.py b/tests/dev_owl_rule_tests/test_rule_deducer_restriction.py new file mode 100644 index 0000000000000000000000000000000000000000..1b7ddb9aa8c93863f3b7c3787578aae894ddf3c4 --- /dev/null +++ b/tests/dev_owl_rule_tests/test_rule_deducer_restriction.py @@ -0,0 +1,127 @@ +#!/usr/bin/python3.10 +# -*-coding:Utf-8 -* + +#============================================================================== +# RELATION DEDUCER Test +#------------------------------------------------------------------------------ +# Script to test the relation deducer under development +#============================================================================== + +import subprocess, os +from rdflib import Graph, Namespace +from rdflib.namespace import NamespaceManager, FOAF, RDF +from rdflib import URIRef, Literal, BNode + +FILE_PATH = f'{os.path.dirname(os.path.abspath(__file__))}' +INPUT_DIR_PATH = f'{FILE_PATH}/test_data/' +OUTPUT_DIR_PATH = f'{FILE_PATH}/test_data/' + +TEST_FILE_NAME_1 = 'deducer-devGraph-4' + +from context import tenet +from tenet.scheme.amr_master_rule.transduction.heuristic_deducer import refine_restriction_1 as test_rule_1 +from tenet.scheme import amr_master_rule + +from tenet.transduction.rdfterm_computer import __update_uri_with_prefix +from tenet.transduction import rdfterm_computer, prefix_handle +from tenet.transduction import net + + +#============================================================================== +# Useful Methods +#============================================================================== + +def load_test_graph(test_file_name): + print(f'\n -- Test Graph Loading') + graph = Graph() + prefix_handle.update_graph_namespacemanager(graph) + graph_path = f'{INPUT_DIR_PATH}{test_file_name}.ttl' + graph.parse(graph_path) + print(f" ----- Graph Loaded ({len(graph)})") + return graph + + +def print_triple(graph, triple, num=-1): + num_str = f'[{num}]' if num > -1 else '[-]' + (s, p, o) = triple + s = __update_uri_with_prefix(graph, s) + p = __update_uri_with_prefix(graph, p) + o = __update_uri_with_prefix(graph, o) + print(f' {num_str} {s} {p} {o}') + + +def add_triples_in_graph(test_file_name, graph, triple_list): + print(f'\n -- Adding triple(s) in graph') + print(f" ----- Graph length before update: {len(graph)}") + print(f" ----- Number of triples to add: {len(triple_list)}") + + print(f" ----- Added triples:") + n = 0 + graph_length = len(graph) + for triple in triple_list: + graph.add(triple) + if graph_length < len(graph): + n += 1 + graph_length = len(graph) + print_triple(graph, triple, num=n) + + print(f" ----- Graph length after update: {len(graph)}") + + output_graph_path = f'{OUTPUT_DIR_PATH}{test_file_name}.result.ttl' + output_graph_uri = f'https://amr.tetras-libre.fr/rdf/{test_file_name}/result' + print(f'\n -- Serialize test graph to {output_graph_path}') + graph.serialize(destination=output_graph_path, + format='turtle', + base=output_graph_uri) + + +#============================================================================== +# Development Test +#============================================================================== + +def test_search_pattern_deducer(graph): + _, pattern_set = test_rule_1.__search_pattern(graph) + print(f'\n ----- number of selection found: {len(pattern_set)}') + for row in pattern_set: + result_str = f'>>> ' + result_str += f'{row.composite_class_net.n3(graph.namespace_manager)}' + result_str += f' {row.restriction_net.n3(graph.namespace_manager)}' + result_str += f' {row.predicate_property_net.n3(graph.namespace_manager)}' + result_str += f' {row.new_net_value.n3(graph.namespace_manager)}' + print(result_str) + return pattern_set + +#============================================================================== +# Unit Test +#============================================================================== + +def test_rule_application_deducer(test_file_name, graph, rule): + print('\n -- Rule Test for Relation Deduction') + + rule_label, new_triple_list = rule(graph) + print(f' ----- label: {rule_label}') + + add_triples_in_graph(test_file_name, graph, new_triple_list) + +#============================================================================== +# Test Script +#============================================================================== + +if __name__ == '__main__': + + print('\n *** Test Preparation ***') + graph_1 = load_test_graph(TEST_FILE_NAME_1) + print('\n \n') + + print('\n ///////////////////// Relation Deduction Rule') + + print('\n *** Step Test ***') + print('\n -- Step 1: Search Pattern for Deducer') + pattern_set = test_search_pattern_deducer(graph_1) + print('\n \n') + + print('\n *** Unit Test ***') + # test_rule_application_deducer(TEST_FILE_NAME_1, graph_1, test_rule_1.refine_composite_class) + print('\n \n') + + print('\n *** - ***')