Exemple #1
0
function getShortTerm($term)
{
    if (preg_match('/^http/', $term)) {
        $tmp_array = preg_split('/[#\\/]/', $term);
        return UTF_to_Unicode(array_pop($tmp_array));
    } else {
        return UTF_to_Unicode($term);
    }
}
Exemple #2
0
                                }
                            }
                        }
                    }
                    foreach ($a_annotation as $annotation_type => $a_annotation_value) {
                        if (!in_array($annotation_type, $a_main_annotation_type)) {
                            foreach ($a_annotation_value as $annotation_value) {
                                if ($annotation_value != 'http://www.w3.org/2002/07/owl#NamedIndividual') {
                                    ?>
		<li><span style="color:#333333">
			<?php 
                                    print $annotation_type;
                                    ?>
			</span>: <span style="color:#006600">
				<?php 
                                    print UTF_to_Unicode($annotation_value);
                                    ?>
			</span></li>
<?php 
                                }
                            }
                        }
                    }
                    ?>
	</ul>
</div>
<?php 
                }
                ?>

  <form id="form_term_search" action="index.php" method="get" style="padding-top:20px; padding-bottom:20px;">
Exemple #3
0
            $term_count = 0;
            foreach ($subClasses as $subClass_url => $subClass_label) {
                if ($subClass_label == '') {
                    $subClass_label = getShortTerm($subClass_url);
                }
                if (!isset($hasC[$subClass_url])) {
                    $term_count++;
                    ?>
<li>-<a oncontextmenu="return false;" href="/browser/rdf.php?o=<?php 
                    print $o;
                    ?>
&amp;iri=<?php 
                    print myUrlEncode($subClass_url);
                    ?>
"><?php 
                    print UTF_to_Unicode($subClass_label);
                    ?>
</a></li>
<?php 
                }
            }
            ?>
</ul>
</div>
<?php 
        }
        ?>

<?php 
    }
}
Exemple #4
0
            $a_label[$result['s']] = $result['o'];
        }
        foreach ($a_label as $term_uri => $label) {
            if ($label == NULL) {
                $a_label[$term_uri] = getShortTerm($term_uri);
            }
        }
        if (!empty($usage_results)) {
            ?>
<div style="font-weight:bold">Uses in this ontology</div>
<div style="background-color:#EAF1F2; border:#99CCFF 1px solid; margin-top:4px; margin-bottom:12px">
<ul>
<?php 
            foreach ($usage_results as $usage_result) {
                $nodeid = $usage_result['o'];
                $label = isset($usage_result['label']) ? UTF_to_Unicode($usage_result['label']) : getShortTerm($usage_result['ref']);
                $obj_equiv = getRDFjsonEquivalent($usage_cbd_results, str_replace('nodeID://', '_:v', $nodeid), $a_label, $link = true);
                ?>
<li><a oncontextmenu="return false;" href="/browser/rdf.php?o=<?php 
                print $o;
                ?>
&amp;iri=<?php 
                print myUrlEncode($usage_result['ref']);
                ?>
"><?php 
                print $label;
                ?>
</a>  <?php 
                echo getShortTerm($usage_result['refp']);
                ?>
: <?php 
Exemple #5
0
    if (!empty($instance_results)) {
        ?>
<div style="font-weight:bold">Instances</div>
<div style="background-color:#EAF1F2; border:#99CCFF 1px solid; margin-top:4px; margin-bottom:12px">
<ul>
<?php 
        foreach ($instance_results as $instance) {
            ?>
<li><a oncontextmenu="return false;" href="/browser/rdf.php?o=<?php 
            print $o;
            ?>
&amp;iri=<?php 
            print myUrlEncode($instance['s']);
            ?>
"><?php 
            print UTF_to_Unicode($instance['label']);
            ?>
</a></li>
<?php 
        }
        ?>
</ul>
</div>
<?php 
    }
    if (isset($result_main[$settings['ns_owl'] . 'disjointWith'])) {
        ?>
<div style="font-weight:bold">Disjoints</div>
<div style="background-color:#EAF1F2; border:#99CCFF 1px solid; margin-top:4px; margin-bottom:12px; padding:4px">
<span>
<?php