Module ontologies

Available on crate feature rdf only.

RDF Ontology Summary

Document D

struct	field	triple
		D <rdf:#type> <ulo:#document>
	language l	D <dc:#language> l
	in archive A	A <ulo:#contains> D
DocumentReference	.target=D2	D <dc:#hasPart> D2
UseModule	(M)	D <dc:#requires> M
Paragraph		D <ulo:#contains> P
	P.kind=Definition	P <rdf:#type> <ulo:#definition>
	P.kind=Assertion	P <rdf:#type> <ulo:#proposition>
	P.kind=Paragraph	P <rdf:#type> <ulo:#para>
	P.kind=Example	P <rdf:#type> <ulo:#example>
	is Example and _.fors.contains(S)	P <ulo:#example-for> S
	is_definition_like and _.fors.contains(S)	P <ulo:#defines> S
Problem E		D <ulo:#contains> E
	.sub_problem==false	E <rdf:#type> <ulo:#problem>
	.sub_problem==true	E <rdf:#type> <ulo:#subproblem>
	_.preconditions.contains(d,S)	E <ulo:#precondition> <BLANK>
		<BLANK> <ulo:#cognitive-dimension> d, where d=<ulo:#cs-remember>⏐<ulo:#cs-understand>⏐<ulo:#cs-apply>⏐<ulo:#cs-analyze>⏐<ulo:#cs-evaluate>⏐<ulo:#cs-create>
		<BLANK> <ulo:#po-symbol> S
	_.objectives.contains(d,S)	E <ulo:#objective> <BLANK>
		<BLANK> <ulo:#cognitive-dimension> d, where d=<ulo:#cs-remember>⏐<ulo:#cs-understand>⏐<ulo:#cs-apply>⏐<ulo:#cs-analyze>⏐<ulo:#cs-evaluate>⏐<ulo:#cs-create>
		<BLANK> <ulo:#po-symbol> S

Module M

struct	field	triple
		D <ulo:#contains> M
		M <rdf:#type> <ulo:#theory>
Import	(M2)	M <ulo:#imports> M2
NestedModule	(M2)	D <ulo:#contains> M2
		M <ulo:#contains> M2
		M2 <rdf:#type> <ulo:#theory>
MathStructure	(S)	M <ulo:#contains> S
		S <rdf:#type> <ulo:#structure>
	Import(S2)	S <ulo:#extends> S2
Morphism	(F)	M <ulo:#contains> F
		F <rdf:#type> <ulo:#morphism>
	.domain=M2	F <rdfs:#domain> M2

Some Example Queries

Unused files in ARCHIVE:

All elements contained in the archive that are neither inputrefed elsewhere nor (transitively) contain an element that is required or imported (=> is a module) by another document:

SELECT DISTINCT ?f WHERE {
  <ARCHIVE> ulo:contains ?f .
  MINUS { ?d dc:hasPart ?f }
  MINUS {
    ?f ulo:contains+ ?m.
    ?d (dc:requires|ulo:imports) ?m.
  }
}

All referenced symbols in DOCUMENT:

All symbols referenced in an element that is transitively contained or inputrefed in the document:

SELECT DISTINCT ?s WHERE {
  <DOCUMENT> (ulo:contains|dc:hasPart)* ?p.
  ?p ulo:crossrefs ?s.
}

All symbols defined in a DOCUMENT:

All symbols defined by a paragraph p that is transitively contained or inputrefed in the document:

SELECT DISTINCT ?s WHERE {
  <DOCUMENT> (ulo:contains|dc:hasPart)* ?p.
  ?p ulo:defines ?s.
}

All “prerequisite” concepts in a DOCUMENT:

All symbols references in the document that are not also defined in it:

SELECT DISTINCT ?s WHERE {
  <DOCUMENT> (ulo:contains|dc:hasPart)* ?p.
  ?p ulo:crossrefs ?s.
  MINUS {
    <DOCUMENT> (ulo:contains|dc:hasPart)* ?p.
    ?p ulo:defines ?s.
  }
}

Modules

dc

http://purl.org/dc/elements/1.1

owl

http://www.w3.org/2002/07/owl

rdf

rdfs

ulo2

http://mathhub.info/ulo

xsd

Macros

count 🔒

dict 🔒