Rechercher une page de manuel
cwm
Langue: en
Version: June 2010 (ubuntu - 24/10/10)
Section: 1 (Commandes utilisateur)
NAME
why.py:30: - Closed World Machine, an RDF/N3 semantic web data processorDESCRIPTION
Command line RDF/N3 tool- <command> <options> <steps> [--with <more args> ]
OPTIONS
- --pipe
- Don't store, just pipe out *
steps, in order left to right:
- --rdf
- Input & Output ** in RDF/XML instead of n3 from now on
- --n3
- Input & Output in N3 from now on. (Default)
- --rdf=flags
- Input & Output ** in RDF and set given RDF flags
- --n3=flags
- Input & Output in N3 and set N3 flags
- --ntriples
- Input & Output in NTriples (equiv --n3=usbpartane -bySubject -quiet)
- --language=x
- Input & Output in "x" (rdf, n3, etc) --rdf same as: --language=rdf
- --languageOptions=y
- --n3=sp same as: --language=n3 --languageOptions=sp
- --ugly
- Store input and regurgitate, data only, fastest *
- --bySubject
- Store input and regurgitate in subject order *
- --no
- No output *
- (default is to store and pretty print with anonymous nodes) *
-
- --base=<uri>
- Set the base URI. Input or output is done as though this were the document URI.
- --closure=flags
- Control automatic lookup of identifiers (see below) <uri> Load document. URI may be relative to current directory.
- --apply=foo
- Read rules from foo, apply to store, adding conclusions to store
- --patch=foo
- Read patches from foo, applying insertions and deletions to store
- --filter=foo
- Read rules from foo, apply to store, REPLACING store with conclusions
- --query=foo
- Read a N3QL query from foo, apply it to the store, and replace the store with its conclusions
- --sparql=foo
- Read a SPARQL query from foo, apply it to the store, and replace the store with its conclusions
- --rules
- Apply rules in store to store, adding conclusions to store
- --think
- as -rules but continue until no more rule matches (or forever!)
- --engine=otter
- use otter (in your $PATH) instead of llyn for linking, etc
- --why
- Replace the store with an explanation of its contents
- --why=u
- proof tries to be shorter
- --mode=flags
- Set modus operandi for inference (see below)
- --reify
- Replace the statements in the store with statements describing them.
- --dereify
- Undo the effects of --reify
- --flatten
- Reify only nested subexpressions (not top level) so that no {} remain.
- --unflatten
- Undo the effects of --flatten
- --think=foo
- as -apply=foo but continue until no more rule matches (or forever!)
- --purge
- Remove from store any triple involving anything in class log:Chaff
- --data
- Remove all except plain RDF triples (formulae, forAll, etc)
- --strings
- Dump :s to stdout ordered by :k whereever { :k log:outputString :s }
- --crypto
- Enable processing of crypto builtin functions. Requires python crypto.
- --help
- print this message
- --revision
- print CVS revision numbers of major modules
- --chatty=50
- Verbose debugging output of questionable use, range 0-99
- --sparqlServer
- instead of outputting, start a SPARQL server on port 8000 of the store
- --sparqlResults
- After sparql query, print in sparqlResults format instead of rdf
finally:
- --with
- Pass any further arguments to the N3 store as os:argv values
- * mutually exclusive ** doesn't work for complex cases :-/
EXAMPLES
- cwm --rdf foo.rdf --n3 --pipe
- Convert from rdf/xml to rdf/n3
- cwm foo.n3 bar.n3 --think
- Combine data and find all deductions
- cwm foo.n3 --flat --n3=spart
Mode flags affect inference extending to the web:
- r
- Needed to enable any remote stuff.
- a
- When reading schema, also load rules pointed to by schema (requires r, s)
- E
- Errors loading schemas of definitive documents are ignored
- m
- Schemas and definitive documents loaded are merged into the meta knowledge (otherwise they are consulted independently)
- s
- Read the schema for any predicate in a query.
- u
- Generate unique ids using a run-specific
Closure flags are set to cause the working formula to be automatically expanded to the closure under the operation of looking up:
- s
- the subject of a statement added
- p
- the predicate of a statement added
- o
- the object of a statement added
- t
- the object of an rdf:type statement added
- i
- any owl:imports documents
- r
- any doc:rules documents
- E
- errors are ignored --- This is independant of --mode=E
- n
- Normalize IRIs to URIs
- e
- Smush together any nodes which are = (owl:sameAs)
See http://www.w3.org/2000/10/swap/doc/cwm for more documentation.
Setting the environment variable CWM_RDFLIB to 1 makes Cwm use rdflib to parse rdf/xml files. Note that this requires rdflib.
Flags for N3 output are as follows:-
a Anonymous nodes should be output using the _: convention (p flag or not). d Don't use default namespace (empty prefix) e escape literals --- use \u notation i Use identifiers from store - don't regen on output l List syntax suppression. Don't use (..) n No numeric syntax - use strings typed with ^^ syntax p Prefix suppression - don't use them, always URIs in <> instead of qnames. q Quiet - don't output comments about version and base URI used. r Relative URI suppression. Always use absolute URIs. s Subject must be explicit for every statement. Don't use ";" shorthand. t "this" and "()" special syntax should be suppressed. u Use \u for unicode escaping in URIs instead of utf-8 %XX v Use "this log:forAll" for @forAll, and "this log:forAll" for "@forSome". / If namespace has no # in it, assume it ends at the last slash if outputting.
Flags for N3 input:
B Turn any blank node into an existentially qualified explicitly named node.
Flags to control RDF/XML output (after --rdf=) areas follows:
b - Don't use nodeIDs for Bnodes c - Don't use elements as class names d - Default namespace supressed. l - Don't use RDF collection syntax for lists r - Relative URI suppression. Always use absolute URIs. z - Allow relative URIs for namespaces
- Flags to control RDF/XML INPUT (after --rdf=) follow:
- S
- - Strict spec. Unknown parse type treated as Literal instead of error.
- T
- - take foreign XML as transparent and parse any RDF in it
- (default is to ignore unless rdf:RDF at top level)
- L
- - If non-rdf attributes have no namespace prefix, assume in local <#> namespace
- D
- - Assume default namespace declared as local document is assume xmlns=""
- R
- - Do not require an outer <rdf:RDF>, treating the file as RDF content (opposite of T)
- Note: The parser (sax2rdf) does not support reification, bagIds, or parseType=Literal.
- It does support the rest of RDF incl. datatypes, xml:lang, and nodeIds.
- import md5, binascii
- # for building md5 URIs
1.197
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre