代码搜索结果

找到约 10,000 项符合 N 的代码

quantifiers.n3

# Test of interactions of qualifiers with log:includes # # $Id: quantifiers.n3,v 1.1 2006/12/09 20:39:25 andy_seaborne Exp $ # # Usage: cwm quantifiers.n3 -think -purge # Should give 18 succes

contexts.n3

# Test data in notation3 http://www.w3.org/DesignIssues/Notation3.html # @prefix u: . @prefix : . :assumption = { :fred u:knows :john .

sib.n3

# Test the cwm builtins #@prefix rdf: . #@prefix s: . #@prefix daml:

propinheritance.n3

# Testing domain/range inheritance down subproperty chains @prefix : . @prefix rdf: . @prefix owl:

subpropertymodel.n3

@prefix ovcore: . @prefix svcd: . @prefix n: . @prefix rdfs:

unbroken.n3

@prefix rdfs: . @prefix rdf: . @prefix : . rdfs:Resource a rdfs:Class ;

broken.n3

@prefix rdfs: . @prefix rdf: . @prefix : . a rdfs:Class ; rdfs:

b.n3

@prefix : . :c :p :z .

d.n3

@prefix : . :d :q :r .

dft.n3

@prefix : . :aRoot :q :a .