mathalgodb | <https://mardi4nfdi.de/mathalgodb/0.1#> |
owl | <http://www.w3.org/2002/07/owl> |
rdf | <http://www.w3.org/1999/02/22-rdf-syntax-ns> |
xml | <http://www.w3.org/XML/1998/namespace> |
xsd | <http://www.w3.org/2001/XMLSchema> |
skos | <http://www.w3.org/2004/02/skos/core> |
dcterms | <http://purl.org/dc/terms> |
bibo | <http://purl.org/ontology/bibo> |
rdfs | <http://www.w3.org/2000/01/rdf-schema> |
vann | <http://purl.org/vocab/vann> |
foaf | <http://xmlns.com/foaf/0.1> |
dc | <http://purl.org/spar/datacite> |
IRI: https://mardi4nfdi.de/mathalgodb/0.1#algorithm
IRI: https://mardi4nfdi.de/mathalgodb/0.1#all_objects
IRI: https://mardi4nfdi.de/mathalgodb/0.1#benchmark
IRI: https://mardi4nfdi.de/mathalgodb/0.1#identifiable
IRI: https://mardi4nfdi.de/mathalgodb/0.1#problem
IRI: https://mardi4nfdi.de/mathalgodb/0.1#publication
IRI: https://mardi4nfdi.de/mathalgodb/0.1#realization
IRI: https://mardi4nfdi.de/mathalgodb/0.1#software
IRI: https://mardi4nfdi.de/mathalgodb/0.1#analyzes
IRI: https://mardi4nfdi.de/mathalgodb/0.1#applies
IRI: https://mardi4nfdi.de/mathalgodb/0.1#documents
IRI: https://mardi4nfdi.de/mathalgodb/0.1#hasComponent
has characteristics: transitive
IRI: https://mardi4nfdi.de/mathalgodb/0.1#hasSubclass
has characteristics: transitive
IRI: https://mardi4nfdi.de/mathalgodb/0.1#implements
IRI: https://mardi4nfdi.de/mathalgodb/0.1#instantiates
IRI: https://mardi4nfdi.de/mathalgodb/0.1#invents
IRI: https://mardi4nfdi.de/mathalgodb/0.1#analyzedIn
IRI: https://mardi4nfdi.de/mathalgodb/0.1#appliedIn
IRI: https://mardi4nfdi.de/mathalgodb/0.1#componentOf
has characteristics: transitive
IRI: https://mardi4nfdi.de/mathalgodb/0.1#documentedIn
IRI: https://mardi4nfdi.de/mathalgodb/0.1#implementedBy
IRI: https://mardi4nfdi.de/mathalgodb/0.1#instanceOf
IRI: https://mardi4nfdi.de/mathalgodb/0.1#inventedIn
IRI: https://mardi4nfdi.de/mathalgodb/0.1#solvedBy
IRI: https://mardi4nfdi.de/mathalgodb/0.1#studiedIn
IRI: https://mardi4nfdi.de/mathalgodb/0.1#subclassOf
has characteristics: transitive
IRI: https://mardi4nfdi.de/mathalgodb/0.1#reviewedIn
IRI: https://mardi4nfdi.de/mathalgodb/0.1#testedBy
IRI: https://mardi4nfdi.de/mathalgodb/0.1#usedIn
IRI: https://mardi4nfdi.de/mathalgodb/0.1#solves
IRI: https://mardi4nfdi.de/mathalgodb/0.1#specializedBy
has characteristics: transitive
IRI: https://mardi4nfdi.de/mathalgodb/0.1#specializes
has characteristics: transitive
IRI: https://mardi4nfdi.de/mathalgodb/0.1#studies
IRI: https://mardi4nfdi.de/mathalgodb/0.1#reviews
IRI: https://mardi4nfdi.de/mathalgodb/0.1#tests
IRI: https://mardi4nfdi.de/mathalgodb/0.1#uses
IRI: https://mardi4nfdi.de/mathalgodb/0.1#category
IRI: http://purl.org/spar/datacite/hasIdentifier
The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.