📄 owl.pprj
字号:
([KB_221055_Instance_22] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_23]) (width 0) (x 0) (y 0))([KB_221055_Instance_23] of Property_List)([KB_221055_Instance_26] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#inverseOf") (property_list [KB_221055_Instance_27]) (width 0) (x 0) (y 0))([KB_221055_Instance_27] of Property_List)([KB_221055_Instance_3] of Property_List)([KB_221055_Instance_30] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_31]) (width 0) (x 0) (y 0))([KB_221055_Instance_31] of Property_List)([KB_221055_Instance_34] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#inverseOf") (property_list [KB_221055_Instance_35]) (width 0) (x 0) (y 0))([KB_221055_Instance_35] of Property_List)([KB_221055_Instance_38] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_39]) (width 0) (x 0) (y 0))([KB_221055_Instance_39] of Property_List)([KB_221055_Instance_42] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#inverseOf") (property_list [KB_221055_Instance_43]) (width 0) (x 0) (y 0))([KB_221055_Instance_43] of Property_List)([KB_221055_Instance_46] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_47]) (width 0) (x 0) (y 0))([KB_221055_Instance_47] of Property_List)([KB_221055_Instance_50] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#inverseOf") (property_list [KB_221055_Instance_51]) (width 0) (x 0) (y 0))([KB_221055_Instance_51] of Property_List)([KB_221055_Instance_54] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_55]) (width 0) (x 0) (y 0))([KB_221055_Instance_55] of Property_List)([KB_221055_Instance_58] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#inverseOf") (property_list [KB_221055_Instance_59]) (width 0) (x 0) (y 0))([KB_221055_Instance_59] of Property_List)([KB_221055_Instance_6] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_7]) (width 0) (x 0) (y 0))([KB_221055_Instance_62] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_63]) (width 0) (x 0) (y 0))([KB_221055_Instance_63] of Property_List)([KB_221055_Instance_66] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#inverseOf") (property_list [KB_221055_Instance_67]) (width 0) (x 0) (y 0))([KB_221055_Instance_67] of Property_List)([KB_221055_Instance_7] of Property_List)([KB_221055_Instance_70] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (property_list [KB_221055_Instance_71]) (width 0) (x 0) (y 0))([KB_221055_Instance_71] of Property_List)([KB_301165_Instance_1013] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#Nothing") (property_list [XY_Instance_975]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))([KB_301165_Instance_856] of Widget (is_hidden FALSE) (name ":DIRECTED-BINARY-RELATION") (property_list [XY_Instance_927]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))([KB_303942_Instance_68] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#Thing") (property_list [XY_Instance_784]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))([KB_307200_Instance_22] of Property_List (name "DisabledTestGroups") (properties [KB_307200_Instance_24]))([KB_307200_Instance_23] of Property_List (name "DisabledTest") (properties [KB_307200_Instance_25] [KB_307200_Instance_26] [KB_307200_Instance_27] [KB_307200_Instance_28] [KB_307200_Instance_29] [KB_307200_Instance_30] [KB_307200_Instance_31] [KB_307200_Instance_32] [KB_307200_Instance_33]))([KB_307200_Instance_24] of Boolean (boolean_value TRUE) (name "OWL-DL Tests"))([KB_307200_Instance_25] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoTopLevelJunkOWLDLTest"))([KB_307200_Instance_26] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoSubclassesOfRDFClassesOWLDLTest"))([KB_307200_Instance_27] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoImportOfSystemOntologiesOWLDLTest"))([KB_307200_Instance_28] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoClassesOrPropertiesInEnumerationsOWLDLTest"))([KB_307200_Instance_29] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoPropertiesWithClassAsRangeOWLDLTest"))([KB_307200_Instance_30] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoMetaclassOWLDLTest"))([KB_307200_Instance_31] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoSuperOrSubPropertiesOfAnnotationPropertiesTest"))([KB_307200_Instance_32] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.TransitivePropertiesCannotBeFunctionalOWLDLTest"))([KB_307200_Instance_33] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoCardiRestrictionOnTransitivePropertiesOWLDLTest"))([KB_313796_Instance_852] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#AllDifferent") (property_list [XY_Instance_89]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))([KB_313796_Instance_943] of Widget (is_hidden FALSE) (name ":OWL-ANONYMOUS-ROOT") (property_list [XY_Instance_665]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))([KB_325529_Class0] of Map)([KB_325529_Class1] of Map)([KB_325529_Class2] of Widget (is_hidden TRUE) (property_list [KB_325529_Class3]) (widget_class_name "edu.stanford.smi.protege.widget.ProtegePropertiesTab"))([KB_325529_Class3] of Property_List)([KB_325529_Class4] of String (name "owl_file_name") (string_value "empty.owl"))([KB_444675_Instance_0] of String (name "SwitchableClassDefinitionType") (string_value "edu.stanford.smi.protegex.owl.ui.cls.LogicClassDefinitionWidgetType"))([KB_444675_Instance_1] of Widget (is_hidden TRUE) (property_list [KB_444675_Instance_2]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab"))([KB_444675_Instance_2] of Property_List)([KB_444675_Instance_3] of Widget (is_hidden TRUE) (property_list [KB_444675_Instance_4]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab"))([KB_444675_Instance_4] of Property_List)([KB_446864_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_446864_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab"))([KB_446864_Instance_1] of Property_List)([KB_446864_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_446864_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab"))([KB_446864_Instance_3] of Property_List)([KB_446864_Instance_4] of Widget (is_hidden TRUE) (property_list [KB_446864_Instance_5]) (widget_class_name "uk.ac.man.cs.mig.coode.owlviz.ui.OWLVizTab"))([KB_446864_Instance_5] of Property_List)([KB_465546_Instance_567] of Widget (is_hidden FALSE) (name "http://protege.stanford.edu/plugins/owl/protege#ExternalResource") (property_list [XY_Instance_890]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))([KB_484936_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_484936_Instance_1]) (widget_class_name "ca.concordia.cs.rql.tab.RqlTab"))([KB_484936_Instance_1] of Property_List)([KB_484936_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_484936_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.prompt.PromptTab"))([KB_484936_Instance_3] of Property_List)([KB_564539_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_564539_Instance_1]) (widget_class_name "uk.ac.man.cs.mig.coode.diglogtab.DIGLogTab"))([KB_564539_Instance_1] of Property_List)([KB_575585_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_575585_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab"))([KB_575585_Instance_1] of Property_List)([KB_632156_Instance_0] of String (name "OWL-PREDEFINED-PROFILE-URI") (string_value "http://protege.stanford.edu/plugins/owl/OWLProfiles.owl#OWL-DL"))([KB_632156_Instance_1] of Widget (is_hidden TRUE) (property_list [KB_632156_Instance_2]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab"))([KB_632156_Instance_2] of Property_List)([KB_632156_Instance_3] of Boolean (boolean_value TRUE) (name "DisabledByUser"))([KB_632156_Instance_4] of Boolean (boolean_value FALSE) (name "DisabledByUser"))([KB_635552_Instance_0] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#versionInfo") (property_list [KB_635552_Instance_1]))([KB_635552_Instance_1] of Property_List)([KB_635552_Instance_10] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#versionInfo") (property_list [KB_635552_Instance_11]))([KB_635552_Instance_11] of Property_List)([KB_635552_Instance_12] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#priorVersion") (property_list [KB_635552_Instance_13]))([KB_635552_Instance_13] of Property_List)([KB_635552_Instance_14] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#seeAlso") (property_list [KB_635552_Instance_15]))([KB_635552_Instance_15] of Property_List)([KB_635552_Instance_16] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy") (property_list [KB_635552_Instance_17]))([KB_635552_Instance_17] of Property_List)([KB_635552_Instance_18] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#comment") (property_list [KB_635552_Instance_19]))([KB_635552_Instance_19] of Property_List)([KB_635552_Instance_2] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#seeAlso") (property_list [KB_635552_Instance_3]))([KB_635552_Instance_20] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#incompatibleWith") (property_list [KB_635552_Instance_21]))([KB_635552_Instance_21] of Property_List)([KB_635552_Instance_22] of Widget (height 0) (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#backwardCompatibleWith") (property_list [KB_635552_Instance_23]) (width 0) (x 0) (y 0))([KB_635552_Instance_23] of Property_List (properties [KB_632156_Instance_3]))([KB_635552_Instance_24] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#label") (property_list [KB_635552_Instance_25]))([KB_635552_Instance_25] of Property_List)([KB_635552_Instance_26] of Widget (is_hidden FALSE) (name "http://www.w3.org/2002/07/owl#versionInfo") (property_list [KB_635552_Instance_27]))([KB_635552_Instance_27] of Property_List)([KB_635552_Instance_28] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy") (property_list [KB_635552_Instance_29]))([KB_635552_Instance_29] of Property_List)([KB_635552_Instance_3] of Property_List)([KB_635552_Instance_30] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#comment") (property_list [KB_635552_Instance_31]))([KB_635552_Instance_31] of Property_List)([KB_635552_Instance_32] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#seeAlso") (property_list [KB_635552_Instance_33]))([KB_635552_Instance_33] of Property_List)([KB_635552_Instance_34] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#label") (property_list [KB_635552_Instance_35]))([KB_635552_Instance_35] of Property_List)([KB_635552_Instance_4] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy") (property_list [KB_635552_Instance_5]))([KB_635552_Instance_5] of Property_List)([KB_635552_Instance_6] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#comment") (property_list [KB_635552_Instance_7]))([KB_635552_Instance_7] of Property_List)([KB_635552_Instance_8] of Widget (is_hidden FALSE) (name "http://www.w3.org/2000/01/rdf-schema#label") (property_list [KB_635552_Instance_9]))([KB_635552_Instance_9] of Property_List)([KB_646337_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_646337_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab"))([KB_646337_Instance_1] of Property_List)([KB_646337_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_646337_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab"))([KB_646337_Instance_3] of Property_List)([KB_691299_Instance_398] of Widget
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -