http://www.dfki.de/~cullrich/instrucionalobjects.owl#Theorem
A learning object of the type "theorem" describes an idea that has been demonstrated as true. In mathematics, it describes a statement which can be proven true on the basis of explicit assumptions.
Instances of instrucionalobjects.owl:Theorem can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class instrucionalobjects.owl:Fundamental | |||
| instrucionalobjects.owl:isRequiredBy | owl:ObjectProperty | The described resource is required by the referenced resource, either physically or logically. | instrucionalobjects.owl:Fundamental |
| instrucionalobjects.owl:requires | owl:ObjectProperty | The described resource requires the referenced resource to support its function, delivery, or coherence of content. | instrucionalobjects.owl:Fundamental |
| From class instrucionalobjects.owl:InstructionalObject | |||
| instrucionalobjects.owl:hasField | owl:DatatypeProperty | Corresponds to the personal interests or major field of study (university setting) of the learner. | owl:Thing |
| instrucionalobjects.owl:hasLearningContext | owl:DatatypeProperty | Describes the educational context of the intended target audience of a resource. | xsd:string |
| instrucionalobjects.owl:hasTypicalLearningTime | owl:DatatypeProperty | Approximate or typical time it takes to work with the resource. | xsd:duration |
@prefix : <http://www.dfki.de/~cullrich/instrucionalobjects.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:Theorem a owl:Class ;
rdfs:comment "A learning object of the type \"theorem\" describes an idea that has been demonstrated as true. In mathematics, it describes a statement which can be proven true on the basis of explicit assumptions."^^xsd:string ;
rdfs:subClassOf :Law .