Â¥Ö÷

±¾ÍÁÄ£ÐͺÍʵÀýÔõÑù²ÅÄÜ·Ö¿ª´æ´¢£¿ Çë½Ì£ºÎÒÏë°ÑÔÚprotegeÖн¨Á¢µÄ±¾Ìå¼°ÆäʵÀý´æ·Åµ½Á½¸öÎļþÖУ¬ÇëÎÊÈçºÎʵÏÖ£¿ »òÕßÓÃjena±à³ÌÈçºÎʵÏÖ£¿    Êղؠ  ·ÖÏí   ¶¥(0)

	µÚ2Â¥

Ö±½ÓÊÖ¶¯·Ö¿ª£¬Ò»¸öimportÁíÍâÒ»¸öºÃÁË

	µÚ3Â¥

ÄÇÇëÎÊÔõÒª²ÅÄÜʵÏÖÊÖ¶¯·Ö¿ª£¿protegeûÓÐ×Ô¶¯ÊµÏֵŦÄÜÂð£¿

	µÚ4Â¥

ÄãÓÃprotege×ö2¸ö±¾Ì壬һ¸öÃû´Êϵͳ£¬Ò»¸öʵÀý£¬Õâ¾ÍÊÇËùνµÄÊÖ¶¯

	µÚ5Â¥

ÐéÐÄÇë½ÌÂ¥ÉϵİæÖ÷£º      ÈçºÎʵÏÖimport°Ñ2¸ö±¾Ìå¹ØÁªÆðÀ´ÄØ£¿ÈôʹÓÃjenaÈçºÎ±àдʵÀýµÄ½¨Á¢°¡£¿

	µÚ6Â¥

°ÑjenaµÄOntModelÖÐËùÓеÄIndividualÈ«²¿É¾³ýµô£¬Ê£ÏµÄÊDz»ÊǾÍÊÇTBox?

	µÚ7Â¥

ÒÔÏÂÊÇÒýÓÃjpz6311whuÔÚ2007-4-7 11:20:00µÄ·¢ÑÔ£º °ÑjenaµÄOntModelÖÐËùÓеÄIndividualÈ«²¿É¾³ýµô£¬Ê£ÏµÄÊDz»ÊǾÍÊÇTBox? ûÓйØÓÚʵÀýµÄassertion£¬ÄǾÍÊÇtboxÁ˹þ¡£¡£¡£

----------------------------------------------
Ò»¸öÈËìÅҫʲô£¬¾Í±íʾËûȱ·¦Ê²Ã´¡£

	µÚ8Â¥

On Friday 02 February 2007 17:00, diseneg wrote: > i work with Jena 2.4. Jena 2.5.1 is out. > How can i extract from an ontology containing both the ABox and the > TBox separately either the ABox or the TBox? Decide what kinds of statement count as TBox statements, extract statements fitting those patterns from the model, and the ABox is what's left. So as a first cut you could look for ?x rdf:type owl:ANYTHING, rdfs:Class, rdf:Property ?x rdfs:subClassOf ?y ?x rdfs:domain/range ?y ?x owl:onProperty ?y ?x owl:hasValue/[min,max]cardinality/allValuesFrom/someValuesFrom ?y ?x unionOf ?y [and y is a list, so chase down that] ... etc Of course you may not be able/need to make a complete separation. RDF is shiny. -- Chris "electric hedgehog" Dollin "The path to the web becomes deeper and wider" - October Project Chris Dollin wrote: > On Friday 02 February 2007 17:00, diseneg wrote: > >> i work with Jena 2.4. > > Jena 2.5.1 is out. > >> How can i extract from an ontology containing both the ABox and the >> TBox separately either the ABox or the TBox? > > Decide what kinds of statement count as TBox statements, extract > statements fitting those patterns from the model, and the ABox is > what's left. Indeed. Or conversely use listIndividuals to find all individuals, find all statements directly connecting to those individuals (transitively for bNodes) and treat that as your ABox. There is no rigid separation between the two in OWL. Dave ---From jena dev mailing list

	µÚ9Â¥

Carlos S. Zamudio wrote: > Actually, what I want to do is to create separate schema and individuals > files for an ontology. Yes, I have been able save the entire ontology (as > well as the inferred model) as a single OWL file using the Jena API. > > I can achieve this separation programmatically, of course, but I thought it > would be such a common need that I must be missing something from the API > documentation... No. As you say it is possible to do something like this programmatically but it's not a built-in API operation. OWL connects classes to individuals in various ways like oneOf and hasValue so in general there is not necessarily a clean abox/tbox separation and so it's not a separation we built into the API.