@prefix : <https://w3id.org/amv#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix amv: <https://w3id.org/amv#> .
@prefix mod: <https://w3id.org/mod#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix bibo: <http://purl.org/ontology/bibo/> .
@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix voaf: <http://purl.org/vocommons/voaf#> .
@prefix terms: <http://purl.org/dc/terms/> .
@prefix schema: <https://schema.org/> .
@base <https://w3id.org/amv> .

<https://w3id.org/amv> rdf:type owl:Ontology ;
                        owl:versionIRI <https://w3id.org/amv/1.0> ;
                        dc:creator "Biswanath Dutta (https://sites.google.com/view/bdutta)" ,
                                   "Jyotima Patel (https://www.linkedin.com/in/jyotima-patel-61220411b)" ;
                        dc:description "AMV v1.0 was first published on June 16, 2021. This is the revised version dated on February 6, 2023."@en ,
                                       "Metadata vocabularies are used in various domains of study. It provides an in-depth description of the resources. In this work, we develop Algorithm Metadata Vocabulary (AMV), a vocabulary for capturing and storing the metadata about the algorithms (a procedure or a set of rules that is followed step-by-step to solve a problem, especially by a computer). The snag faced by the researchers in the current time is the failure of getting relevant results when searching for algorithms in any search engine. AMV is represented as a semantic model and produced OWL file, which can be directly used by anyone interested to create and publish algorithm metadata as a knowledge graph, or to provide metadata service through SPARQL endpoint. To design the vocabulary, we propose a well-defined methodology, which considers real issues faced by the algorithm users and the practitioners. The evaluation shows a promising result."@en ;
                        dc:issued "2021-06-16"@en ;
                        dc:modified "2023-02-06"@en ;
                        dc:publisher "Indian Statistical Institute (https://www.isibang.ac.in/)" ;
                        dc:rights "https://creativecommons.org/publicdomain/zero/1.0/"@en ;
                        dc:title "AMV:Algorithm Metadata Vocabulary"@en ;
                        vann:preferredNamespacePrefix "amv" ;
                        vann:preferredNamespaceUri "https://w3id.org/amv" ;
                        owl:versionInfo "V1.0"@en ;
                        mod:competencyQuestion """Example competency questions. 
CQ1: What characteristics or properties are common across all algorithms?
CQ2: List all algorithms that compute the solution to problem X along with their types and input. 
CQ3: Retrieve an algorithm that solves problem X with its details like best case space complexity, best case time complexity, and the problems related to it. 
CQ4: Retrieve all the algorithms X which are expressed in the form of a flowchart.
CQ5: Which Sorting algorithms are derived from the already existing sorting algorithms?"""@en ;
                        mod:vocabularyUsed "http://purl.org/dc/terms/"^^xsd:anyURI ,
                                           "http://purl.org/ontology/bibo/"^^xsd:anyURI ,
                                           "http://www.w3.org/2004/02/skos/core#"^^xsd:anyURI ,
                                           "http://www.w3.org/ns/dcat#"^^xsd:anyURI ,
                                           "http://www.wikidata.org/entity/"^^xsd:anyURI ,
                                           "http://xmlns.com/foaf/0.1/"@en ,
                                           "https://schema.org/"^^xsd:anyURI .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/elements/1.1/creator
dc:creator rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/date
dc:date rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/description
dc:description rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/issued
dc:issued rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/modified
dc:modified rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/publisher
dc:publisher rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/rights
dc:rights rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/title
dc:title rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#AltLabel
skos:AltLabel rdf:type owl:AnnotationProperty .


###  https://w3id.org/mod#competencyQuestion
mod:competencyQuestion rdf:type owl:AnnotationProperty .


###  https://w3id.org/mod#vocabularyUsed
mod:vocabularyUsed rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  http://purl.org/dc/terms/accessRights
terms:accessRights rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf terms:rights ;
                   owl:inverseOf amv:pub_accessRightsOf ;
                   rdfs:domain owl:Thing ;
                   rdfs:range terms:RightsStatement ;
                   rdfs:comment """Information about who access the resource or an indication of its security status. 
Access Rights may include information regarding access or restrictions based on privacy, security, or other policies. 

Examples of access rights are: Public, Internal, Department (source: https://www.dublincore.org/groups/government/accessRights/)"""@en ;
                   rdfs:label "access rights"@en .


###  http://purl.org/dc/terms/contributor
terms:contributor rdf:type owl:ObjectProperty ;
                  owl:inverseOf amv:pub_contributorOf ;
                  rdfs:domain owl:Thing ;
                  rdfs:range foaf:Agent ;
                  rdfs:comment "An agent who contributes towards the algorithm."@en ;
                  rdfs:label "contributor" .


###  http://purl.org/dc/terms/creator
terms:creator rdf:type owl:ObjectProperty ;
              owl:inverseOf amv:pub_creatorOf ;
              rdfs:domain owl:Thing ;
              rdfs:range foaf:Agent ;
              rdfs:comment "The person who created the algorithm."@en ;
              rdfs:label "creator" ;
              skos:AltLabel "author"@en .


###  http://purl.org/dc/terms/hasPart
terms:hasPart rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf terms:relation ;
              owl:inverseOf terms:isPartOf ;
              rdf:type owl:TransitiveProperty ;
              rdfs:domain owl:Thing ;
              rdfs:range owl:Thing ;
              rdfs:comment "A related resource that is included either physically or logically in the described resource.(https://www.dublincore.org/specifications/dublin-core/dcmi-terms/#http://purl.org/dc/terms/isPartOf)" ;
              rdfs:label "has Part" .


###  http://purl.org/dc/terms/hasVersion
terms:hasVersion rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf terms:relation ;
                 owl:inverseOf terms:isVersionOf ;
                 rdf:type owl:TransitiveProperty ;
                 rdfs:domain owl:Thing ;
                 rdfs:range owl:Thing ;
                 rdfs:comment "A related resource (e.g., algorithm, program) that is a version, edition, or adaptation of the described resource."@en ;
                 rdfs:label "has Version" .


###  http://purl.org/dc/terms/isPartOf
terms:isPartOf rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf terms:relation ;
               rdf:type owl:TransitiveProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range owl:Thing ;
               rdfs:comment "A related resource in which the described resource is physically or logically included.(https://www.dublincore.org/specifications/dublin-core/dcmi-terms/#http://purl.org/dc/terms/isPartOf)" ;
               rdfs:label "is Part Of" .


###  http://purl.org/dc/terms/isVersionOf
terms:isVersionOf rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf terms:relation ;
                  rdf:type owl:TransitiveProperty ;
                  rdfs:domain owl:Thing ;
                  rdfs:range owl:Thing ;
                  rdfs:comment "A related resource (e.g., algorithm, program) of which the described resource is a version, edition, or adaptation."@en ;
                  rdfs:label "is Version Of" .


###  http://purl.org/dc/terms/license
terms:license rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf terms:rights ;
              owl:inverseOf amv:pub_licenseOf ;
              rdfs:domain owl:Thing ;
              rdfs:range terms:LicenseDocument ;
              rdfs:comment "The licence under which the algorithm is published."@en ;
              rdfs:label "license" .


###  http://purl.org/dc/terms/publisher
terms:publisher rdf:type owl:ObjectProperty ;
                owl:inverseOf amv:pub_publisherOf ;
                rdfs:domain [ rdf:type owl:Class ;
                              owl:unionOf ( wd:Q8366
                                            amv:Implementation
                                            amv:pub_InformationResource
                                          )
                            ] ;
                rdfs:range foaf:Agent ;
                rdfs:comment "An entity responsible for making the resource available."@en ;
                rdfs:label "publisher"@en .


###  http://purl.org/dc/terms/relation
terms:relation rdf:type owl:ObjectProperty ,
                        owl:SymmetricProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range owl:Thing ;
               rdfs:comment """A related resource. 
For example, a Sorting problem is related to a problem Convex Hull."""@en ;
               rdfs:label "relation"@en .


###  http://purl.org/dc/terms/rights
terms:rights rdf:type owl:ObjectProperty ;
             owl:inverseOf amv:pub_rightsOf ;
             rdfs:domain owl:Thing ;
             rdfs:range terms:RightsStatement ;
             rdfs:comment "Information about rights held in and over the resource."@en ;
             rdfs:label "rights"@en .


###  http://purl.org/dc/terms/subject
terms:subject rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf owl:topObjectProperty ;
              owl:inverseOf amv:pub_subjectOf ;
              rdfs:domain owl:Thing ;
              rdfs:range amv:pub_Discipline ;
              rdfs:comment "A topic of the resource."@en ;
              rdfs:label "subject" .


###  http://schema.org/comment
<http://schema.org/comment> rdf:type owl:ObjectProperty ;
                            owl:inverseOf amv:commentOf ;
                            rdfs:domain [ rdf:type owl:Class ;
                                          owl:unionOf ( wd:Q8366
                                                        amv:Implementation
                                                        amv:pub_InformationResource
                                                      )
                                        ] ;
                            rdfs:range <http://schema.org/Comment> ;
                            rdfs:comment "Comments, typically from users."@en ;
                            rdfs:label "comment"@en .


###  http://www.w3.org/ns/prov#generalizationOf
prov:generalizationOf rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf terms:relation ;
                      owl:inverseOf prov:specializationOf ;
                      rdf:type owl:TransitiveProperty ;
                      rdfs:domain owl:Thing ;
                      rdfs:range owl:Thing ;
                      rdfs:comment "An entity that is a generalization of another. E.g., Distribution sort algorithm is a generalization of Bucket sort."@en ;
                      rdfs:label "generalization of"@en .


###  http://www.w3.org/ns/prov#hadDerivation
prov:hadDerivation rdf:type owl:ObjectProperty ;
                   owl:inverseOf prov:wasDerivedFrom ;
                   rdf:type owl:TransitiveProperty ;
                   rdfs:domain owl:Thing ;
                   rdfs:range owl:Thing ;
                   rdfs:label "had derivation"@en .


###  http://www.w3.org/ns/prov#hadPrimarySource
prov:hadPrimarySource rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf prov:wasDerivedFrom ;
                      owl:inverseOf prov:wasPrimarySourceOf ;
                      rdf:type owl:TransitiveProperty ;
                      rdfs:domain owl:Thing ;
                      rdfs:range owl:Thing ;
                      rdfs:comment "A primary source for a topic refers to something produced by some agent with direct experience and knowledge about the topic, at the time of the topic's study, without benefit from hindsight. Because of the directness of primary sources, they 'speak for themselves' in ways that cannot be captured through the filter of secondary sources. As such, it is important for secondary sources to reference those primary sources from which they were derived, so that their reliability can be investigated. A primary source relation is a particular case of derivation of secondary materials from their primary sources. It is recognized that the determination of primary sources can be up to interpretation, and should be done according to conventions accepted within the application's domain."@en ;
                      rdfs:label "had primary source"@en .


###  http://www.w3.org/ns/prov#hadRevision
prov:hadRevision rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf prov:hadDerivation ;
                 owl:inverseOf prov:wasRevisionOf ;
                 rdf:type owl:TransitiveProperty ;
                 rdfs:domain owl:Thing ;
                 rdfs:range owl:Thing ;
                 rdfs:label "had revision"@en .


###  http://www.w3.org/ns/prov#specializationOf
prov:specializationOf rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf terms:relation ;
                      rdf:type owl:TransitiveProperty ;
                      rdfs:domain owl:Thing ;
                      rdfs:range owl:Thing ;
                      rdfs:comment "An entity that is specialization of (... is a kind of) another entity and shares all aspects of the later including its own specific aspects. E.g., Bucket sort algorithm is a specialization of (a kind of) Distribution sort."@en ;
                      rdfs:label "specialization of"@en .


###  http://www.w3.org/ns/prov#wasDerivedFrom
prov:wasDerivedFrom rdf:type owl:ObjectProperty ,
                             owl:TransitiveProperty ;
                    rdfs:domain owl:Thing ;
                    rdfs:range owl:Thing ;
                    rdfs:comment "A derivation is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-existing entity."@en ;
                    rdfs:label "was Derived From" .


###  http://www.w3.org/ns/prov#wasPrimarySourceOf
prov:wasPrimarySourceOf rdf:type owl:ObjectProperty ;
                        rdfs:subPropertyOf prov:hadDerivation ;
                        rdf:type owl:TransitiveProperty ;
                        rdfs:domain owl:Thing ;
                        rdfs:range owl:Thing ;
                        rdfs:label "was primary source of"@en .


###  http://www.w3.org/ns/prov#wasRevisionOf
prov:wasRevisionOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf prov:wasDerivedFrom ;
                   rdf:type owl:TransitiveProperty ;
                   rdfs:domain owl:Thing ;
                   rdfs:range owl:Thing ;
                   rdfs:comment "A revision is a derivation for which the resulting entity is a revised version of some original. The implication here is that the resulting entity contains substantial content from the original. Revision is a particular case of derivation."@en ;
                   rdfs:label "was revision of"@en .


###  http://xmlns.com/foaf/0.1/depiction
foaf:depiction rdf:type owl:ObjectProperty ;
               owl:inverseOf foaf:depicts ;
               rdfs:domain owl:Thing ;
               rdfs:range foaf:Image ;
               rdfs:comment "A depiction of some thing."@en ;
               rdfs:label "depiction"@en .


###  http://xmlns.com/foaf/0.1/depicts
foaf:depicts rdf:type owl:ObjectProperty ;
             rdfs:domain foaf:Image ;
             rdfs:range owl:Thing ;
             rdfs:comment "The depiction property is a relationship between a thing and an Image that depicts it. As such it is an inverse of the depicts relationship."@en ;
             rdfs:label "depicts"@en .


###  https://w3id.org/amv#affiliationOf
amv:affiliationOf rdf:type owl:ObjectProperty ;
                  owl:inverseOf amv:affliation ;
                  rdfs:domain foaf:Organization ;
                  rdfs:range foaf:Person ;
                  rdfs:label "affiliation of"@en .


###  https://w3id.org/amv#affliation
amv:affliation rdf:type owl:ObjectProperty ;
               rdfs:domain foaf:Person ;
               rdfs:range foaf:Organization ;
               rdfs:comment "An organization that the person is affiliated with. For example, a school/university." ;
               rdfs:label "affliation" .


###  https://w3id.org/amv#algorithmTypeFor
amv:algorithmTypeFor rdf:type owl:ObjectProperty ;
                     owl:inverseOf amv:isATypeOf ;
                     rdfs:domain amv:AlgorithmicType ;
                     rdfs:range amv:Algorithm ;
                     rdfs:comment "Is an algorithm type for an algorithm."@en ;
                     rdfs:label "algorithm type for"@en .


###  https://w3id.org/amv#analysisFunctionType
amv:analysisFunctionType rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf owl:topObjectProperty ;
                         owl:inverseOf amv:analysisFunctionTypeOf ;
                         rdfs:domain amv:Algorithm ;
                         rdfs:range amv:AlgorithmAnalysisFunction ;
                         rdfs:comment "The various function types for analysis of algorithms like logarithmic functions, exponential functions etc."@en ;
                         rdfs:label "analysis function type"@en .


###  https://w3id.org/amv#analysisFunctionTypeOf
amv:analysisFunctionTypeOf rdf:type owl:ObjectProperty ;
                           rdfs:domain amv:AlgorithmAnalysisFunction ;
                           rdfs:range amv:Algorithm ;
                           rdfs:label "analysis function type of"@en .


###  https://w3id.org/amv#availableAlgorithm
amv:availableAlgorithm rdf:type owl:ObjectProperty ;
                       owl:inverseOf amv:computesSolutionTo ;
                       rdfs:domain amv:Problem ;
                       rdfs:range amv:Algorithm ;
                       rdfs:comment "An algorithm for a given problem."@en ;
                       rdfs:label "available algorithm"@en .


###  https://w3id.org/amv#commentOf
amv:commentOf rdf:type owl:ObjectProperty ;
              rdfs:domain <http://schema.org/Comment> ;
              rdfs:range [ rdf:type owl:Class ;
                           owl:unionOf ( wd:Q8366
                                         amv:Implementation
                                         amv:pub_InformationResource
                                       )
                         ] ;
              rdfs:label "comment of"@en .


###  https://w3id.org/amv#computesSolutionTo
amv:computesSolutionTo rdf:type owl:ObjectProperty ;
                       rdfs:domain amv:Algorithm ;
                       rdfs:range amv:Problem ;
                       rdfs:comment "Problem that this algorithm or method solves.(https://www.wikidata.org/wiki/Property:P2159)" ,
                                    "The type of problem the algorithm solves."@en ;
                       rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P2159"@en ;
                       rdfs:label "computes solution to"@en .


###  https://w3id.org/amv#dataStructureUsed
amv:dataStructureUsed rdf:type owl:ObjectProperty ;
                      owl:inverseOf amv:dataStructureUsedIn ;
                      rdfs:domain amv:Algorithm ;
                      rdfs:range amv:DataStructure ;
                      rdfs:comment "The data structure used in an algorithm."@en ;
                      rdfs:label "data Structure Used" .


###  https://w3id.org/amv#dataStructureUsedIn
amv:dataStructureUsedIn rdf:type owl:ObjectProperty ;
                        rdfs:domain amv:DataStructure ;
                        rdfs:range amv:Algorithm ;
                        rdfs:label "data Structure Used In" .


###  https://w3id.org/amv#formOfExpression
amv:formOfExpression rdf:type owl:ObjectProperty ;
                     owl:inverseOf amv:formOfExpressionOf ;
                     rdfs:domain amv:Algorithm ;
                     rdfs:range amv:FormOfExpression ;
                     rdfs:comment "The form of expression of an Algorithm." ;
                     rdfs:label "form of expression"@en .


###  https://w3id.org/amv#formOfExpressionOf
amv:formOfExpressionOf rdf:type owl:ObjectProperty ;
                       rdfs:domain amv:FormOfExpression ;
                       rdfs:range amv:Algorithm ;
                       rdfs:comment "The form of expression of an Algorithm." ;
                       rdfs:label "form Of expression of"@en .


###  https://w3id.org/amv#hasImplementation
amv:hasImplementation rdf:type owl:ObjectProperty ;
                      owl:inverseOf amv:implementationOf ;
                      rdfs:domain owl:Thing ;
                      rdfs:range amv:Implementation ;
                      rdfs:comment "The various applications of the algorithm."@en ;
                      rdfs:label "has implementation"@en .


###  https://w3id.org/amv#hasMessageComplexity
amv:hasMessageComplexity rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf amv:hasMetric ;
                         owl:inverseOf amv:messageComplexityOf ;
                         rdfs:domain amv:Algorithm ;
                         rdfs:range amv:MessageComplexity ;
                         rdfs:label "has message complexity"@en .


###  https://w3id.org/amv#hasMetric
amv:hasMetric rdf:type owl:ObjectProperty ;
              owl:inverseOf amv:metricOf ;
              rdfs:domain amv:Algorithm ;
              rdfs:range amv:Metric ;
              rdfs:label "has metric"@en .


###  https://w3id.org/amv#hasPerformanceMetric
amv:hasPerformanceMetric rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf amv:hasMetric ;
                         owl:inverseOf amv:performanceMetricOf ;
                         rdfs:domain amv:Algorithm ;
                         rdfs:range amv:PerformanceMetric ;
                         rdfs:label "has performance metric"@en .


###  https://w3id.org/amv#hasSpaceComplexity
amv:hasSpaceComplexity rdf:type owl:ObjectProperty ;
                       rdfs:subPropertyOf amv:hasMetric ;
                       owl:inverseOf amv:spaceComplexityOf ;
                       rdfs:domain amv:Algorithm ;
                       rdfs:range amv:SpaceComplexity ;
                       rdfs:label "has space complexity"@en .


###  https://w3id.org/amv#hasSubalgorithm
amv:hasSubalgorithm rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf terms:hasPart ;
                    owl:inverseOf amv:subalgorithmOf ;
                    rdf:type owl:TransitiveProperty ;
                    rdfs:domain amv:Algorithm ;
                    rdfs:range amv:Algorithm ;
                    rdfs:label "has subalgorithm"@en .


###  https://w3id.org/amv#hasSubproblem
amv:hasSubproblem rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf terms:hasPart ;
                  owl:inverseOf amv:subproblemOf ;
                  rdf:type owl:TransitiveProperty ;
                  rdfs:domain amv:Problem ;
                  rdfs:range amv:Problem ;
                  rdfs:comment "a problem that is contingent on or forms a part of another more inclusive problem."@en ;
                  rdfs:label "has subproblem"@en .


###  https://w3id.org/amv#hasTimeComplexity
amv:hasTimeComplexity rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf amv:hasMetric ;
                      owl:inverseOf amv:timeComplexityOf ;
                      rdfs:domain amv:Algorithm ;
                      rdfs:range amv:TimeComplexity ;
                      rdfs:label "has time complexity"@en .


###  https://w3id.org/amv#implementationOf
amv:implementationOf rdf:type owl:ObjectProperty ;
                     rdfs:domain amv:Implementation ;
                     rdfs:range owl:Thing ;
                     rdfs:comment "The various applications of the algorithm." ;
                     rdfs:label "implementation of"@en .


###  https://w3id.org/amv#inputImage
amv:inputImage rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf foaf:depiction ;
               owl:inverseOf amv:isOutputImageOf ;
               rdfs:domain owl:Thing ;
               rdfs:range foaf:Image ;
               rdfs:label "output image"@en .


###  https://w3id.org/amv#isATypeOf
amv:isATypeOf rdf:type owl:ObjectProperty ;
              rdfs:domain amv:Algorithm ;
              rdfs:range amv:AlgorithmicType ;
              rdfs:comment "The different type of algorithmic techniques that are used to solve the various existing problems in the most optimized manner.This classification is neither exhaustive nor disjoint but highlights the various ways in which a problem can be addressed."@en ,
                           "The nature or genre of an algorithm."@en ;
              rdfs:label "is a type of"@en .


###  https://w3id.org/amv#isInputImageOf
amv:isInputImageOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf owl:topObjectProperty ;
                   owl:inverseOf amv:outputImage ;
                   rdfs:domain foaf:Image ;
                   rdfs:range owl:Thing ;
                   rdfs:label "is input image of"@en .


###  https://w3id.org/amv#isOutputImageOf
amv:isOutputImageOf rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf owl:topObjectProperty ;
                    rdfs:domain foaf:Image ;
                    rdfs:range owl:Thing ;
                    rdfs:label "is output image of"@en .


###  https://w3id.org/amv#isSimilarTo
amv:isSimilarTo rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf terms:relation ;
                rdf:type owl:SymmetricProperty ;
                rdfs:domain owl:Thing ;
                rdfs:range owl:Thing ;
                rdfs:comment "A pointer to another, functionally similar thing (or multiple things), for example, an algorithm is similar to another algorithm or algorithms, a problem is similar to another problem or problems, etc."@en ;
                rdfs:label "is similar to"@en .


###  https://w3id.org/amv#loopConstruct
amv:loopConstruct rdf:type owl:ObjectProperty ;
                  owl:inverseOf amv:loopConstructOf ;
                  rdfs:domain amv:Algorithm ;
                  rdfs:range amv:LoopConstruct ;
                  rdfs:comment "The loop best suited for the algorithm."@en ;
                  rdfs:label "loop construct"@en .


###  https://w3id.org/amv#loopConstructOf
amv:loopConstructOf rdf:type owl:ObjectProperty ;
                    rdfs:domain amv:LoopConstruct ;
                    rdfs:range amv:Algorithm ;
                    rdfs:label "loop construct of"@en .


###  https://w3id.org/amv#mathematicalProperty
amv:mathematicalProperty rdf:type owl:ObjectProperty ;
                         owl:inverseOf amv:mathematicalPropertyUsed ;
                         rdfs:domain amv:Algorithm ;
                         rdfs:range amv:MathematicalProperties ;
                         rdfs:comment "The mathematical concept used to solve the problem."@en ;
                         rdfs:label "mathematical property"@en .


###  https://w3id.org/amv#mathematicalPropertyUsed
amv:mathematicalPropertyUsed rdf:type owl:ObjectProperty ;
                             rdfs:domain amv:MathematicalProperties ;
                             rdfs:range amv:Algorithm ;
                             rdfs:label "mathematicalPropertyUsed" .


###  https://w3id.org/amv#messageComplexityOf
amv:messageComplexityOf rdf:type owl:ObjectProperty ;
                        rdfs:subPropertyOf amv:metricOf ;
                        rdfs:domain amv:MessageComplexity ;
                        rdfs:range amv:Algorithm ;
                        rdfs:label "message complexity of"@en .


###  https://w3id.org/amv#metricOf
amv:metricOf rdf:type owl:ObjectProperty ;
             rdfs:domain amv:Metric ;
             rdfs:range amv:Algorithm ;
             rdfs:label "metric of"@en .


###  https://w3id.org/amv#operatingSystemFor
amv:operatingSystemFor rdf:type owl:ObjectProperty ;
                       owl:inverseOf amv:runsOnOperatingSystem ;
                       rdfs:domain schema:OperatingSystem ;
                       rdfs:range amv:Implementation ;
                       rdfs:label "operatingSystemFor" .


###  https://w3id.org/amv#outputImage
amv:outputImage rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf foaf:depiction ;
                rdfs:domain owl:Thing ;
                rdfs:range foaf:Image ;
                rdfs:label "input image"@en .


###  https://w3id.org/amv#performanceMetricOf
amv:performanceMetricOf rdf:type owl:ObjectProperty ;
                        rdfs:subPropertyOf amv:metricOf ;
                        rdfs:domain amv:PerformanceMetric ;
                        rdfs:range amv:Algorithm ;
                        rdfs:label "performance metric of"@en .


###  https://w3id.org/amv#programmingLanguage
amv:programmingLanguage rdf:type owl:ObjectProperty ;
                        owl:inverseOf amv:usedInIm ;
                        rdfs:domain amv:Implementation ;
                        rdfs:range amv:ProgrammingLanguage ;
                        rdfs:comment "In which all language the implementation of the algorithm/ problem is available."@en ;
                        rdfs:label "programming language"@en .


###  https://w3id.org/amv#pub_accessRightsOf
amv:pub_accessRightsOf rdf:type owl:ObjectProperty ;
                       rdfs:subPropertyOf amv:pub_rightsOf ;
                       rdfs:domain terms:RightsStatement ;
                       rdfs:range owl:Thing ;
                       rdfs:label "access rights of"@en .


###  https://w3id.org/amv#pub_appearedIn
amv:pub_appearedIn rdf:type owl:ObjectProperty ;
                   owl:inverseOf amv:pub_contains ;
                   rdfs:domain amv:Algorithm ;
                   rdfs:range amv:pub_InformationResource ;
                   rdfs:comment "An algorithm appeared in a publication."@en ;
                   rdfs:label "appeared In" .


###  https://w3id.org/amv#pub_branchOf
amv:pub_branchOf rdf:type owl:ObjectProperty ;
                 owl:inverseOf amv:pub_hasBranch ;
                 rdf:type owl:TransitiveProperty ;
                 rdfs:domain amv:pub_Discipline ;
                 rdfs:range amv:pub_Discipline ;
                 rdfs:label "branch Of"@en .


###  https://w3id.org/amv#pub_contains
amv:pub_contains rdf:type owl:ObjectProperty ;
                 rdfs:domain amv:pub_InformationResource ;
                 rdfs:range amv:Algorithm ;
                 rdfs:label "contains" .


###  https://w3id.org/amv#pub_contributorOf
amv:pub_contributorOf rdf:type owl:ObjectProperty ;
                      rdfs:domain foaf:Agent ;
                      rdfs:range owl:Thing ;
                      rdfs:label "contributor of"@en .


###  https://w3id.org/amv#pub_creatorOf
amv:pub_creatorOf rdf:type owl:ObjectProperty ;
                  rdfs:domain foaf:Agent ;
                  rdfs:range owl:Thing ;
                  rdfs:label "creator of"@en ;
                  skos:AltLabel "author of"@en .


###  https://w3id.org/amv#pub_hasArticle
amv:pub_hasArticle rdf:type owl:ObjectProperty ;
                   owl:inverseOf amv:pub_publishedIn ;
                   rdfs:domain bibo:Periodical ;
                   rdfs:range bibo:Article ;
                   rdfs:label "hasArticle" .


###  https://w3id.org/amv#pub_hasBranch
amv:pub_hasBranch rdf:type owl:ObjectProperty ,
                           owl:TransitiveProperty ;
                  rdfs:domain amv:pub_Discipline ;
                  rdfs:range amv:pub_Discipline ;
                  rdfs:comment "Branch of the academic discipline." ;
                  rdfs:label "has branch"@en .


###  https://w3id.org/amv#pub_licenseOf
amv:pub_licenseOf rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf amv:pub_rightsOf ;
                  rdfs:domain terms:LicenseDocument ;
                  rdfs:range owl:Thing ;
                  rdfs:label "license of"@en .


###  https://w3id.org/amv#pub_publishedIn
amv:pub_publishedIn rdf:type owl:ObjectProperty ;
                    rdfs:domain bibo:Article ;
                    rdfs:range bibo:Periodical ;
                    rdfs:label "published in"@en .


###  https://w3id.org/amv#pub_publisherOf
amv:pub_publisherOf rdf:type owl:ObjectProperty ;
                    rdfs:domain foaf:Agent ;
                    rdfs:range [ rdf:type owl:Class ;
                                 owl:unionOf ( wd:Q8366
                                               amv:Implementation
                                               amv:pub_InformationResource
                                             )
                               ] ;
                    rdfs:label "publisher of"@en .


###  https://w3id.org/amv#pub_rightsOf
amv:pub_rightsOf rdf:type owl:ObjectProperty ;
                 rdfs:domain terms:RightsStatement ;
                 rdfs:range owl:Thing ;
                 rdfs:label "rights of"@en .


###  https://w3id.org/amv#pub_subjectOf
amv:pub_subjectOf rdf:type owl:ObjectProperty ;
                  rdfs:domain amv:pub_Discipline ;
                  rdfs:range owl:Thing ;
                  rdfs:comment "A topic of the resource for."@en ;
                  rdfs:label "subject of"@en .


###  https://w3id.org/amv#runsOnOperatingSystem
amv:runsOnOperatingSystem rdf:type owl:ObjectProperty ;
                          rdfs:domain amv:Implementation ;
                          rdfs:range schema:OperatingSystem ;
                          rdfs:label "runs on Operating System"@en .


###  https://w3id.org/amv#spaceComplexityOf
amv:spaceComplexityOf rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf amv:metricOf ;
                      rdfs:domain amv:SpaceComplexity ;
                      rdfs:range amv:Algorithm ;
                      rdfs:label "space complexity of"@en .


###  https://w3id.org/amv#subalgorithmOf
amv:subalgorithmOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf terms:isPartOf ;
                   rdf:type owl:TransitiveProperty ;
                   rdfs:domain amv:Algorithm ;
                   rdfs:range amv:Algorithm ;
                   rdfs:label "subalgorithm of"@en .


###  https://w3id.org/amv#subproblemOf
amv:subproblemOf rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf terms:isPartOf ;
                 rdf:type owl:TransitiveProperty ;
                 rdfs:domain amv:Problem ;
                 rdfs:range amv:Problem ;
                 rdfs:label "subproblem of"@en .


###  https://w3id.org/amv#timeComplexityOf
amv:timeComplexityOf rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf amv:metricOf ;
                     rdfs:domain amv:TimeComplexity ;
                     rdfs:range amv:Algorithm ;
                     rdfs:label "time complexity of"@en .


###  https://w3id.org/amv#usedInIm
amv:usedInIm rdf:type owl:ObjectProperty ;
             rdfs:domain amv:ProgrammingLanguage ;
             rdfs:range amv:Implementation ;
             rdfs:label "programming language used in"@en .


#################################################################
#    Data properties
#################################################################

###  http://purl.org/dc/terms/available
terms:available rdf:type owl:DatatypeProperty ;
                rdfs:subPropertyOf terms:date ;
                rdfs:domain owl:Thing ;
                rdfs:range rdfs:Literal ;
                rdfs:comment "Date (often a range) that the resource became or will become available."@en ;
                rdfs:label "available"@en .


###  http://purl.org/dc/terms/bibliographicCitation
terms:bibliographicCitation rdf:type owl:DatatypeProperty ;
                            rdfs:domain owl:Thing ;
                            rdfs:range rdfs:Literal ;
                            rdfs:comment "A bibliographic reference for the resource."@en ;
                            rdfs:label "bibliographic citation"@en .


###  http://purl.org/dc/terms/created
terms:created rdf:type owl:DatatypeProperty ;
              rdfs:subPropertyOf terms:date ;
              rdfs:domain owl:Thing ;
              rdfs:range rdfs:Literal ;
              rdfs:comment "The date of creation of the algorithm."@en ;
              rdfs:label "created" .


###  http://purl.org/dc/terms/date
terms:date rdf:type owl:DatatypeProperty ;
           rdfs:subPropertyOf owl:topDataProperty ;
           rdfs:domain owl:Thing ;
           rdfs:range rdfs:Literal ;
           rdfs:comment "A point or period of time associated with an event in the lifecycle of the resource."@en ;
           rdfs:label "date" .


###  http://purl.org/dc/terms/dateSubmitted
terms:dateSubmitted rdf:type owl:DatatypeProperty ;
                    rdfs:subPropertyOf terms:date ;
                    rdfs:domain owl:Thing ;
                    rdfs:range rdfs:Literal ;
                    rdfs:comment "Date of submission of the resource."@en ;
                    rdfs:label "dateSubmitted" .


###  http://purl.org/dc/terms/description
terms:description rdf:type owl:DatatypeProperty ;
                  rdfs:domain owl:Thing ;
                  rdfs:range xsd:string ;
                  rdfs:comment "A statement that represents something in words. It is the act of describing something. The description can include, for instance, the purpose of a thing, the scope, the area of applications of a thing, the history, etc."@en ,
                               "An account of the resource."@en ;
                  rdfs:label "description" .


###  http://purl.org/dc/terms/identifier
terms:identifier rdf:type owl:DatatypeProperty ;
                 rdfs:domain owl:Thing ;
                 rdfs:range rdfs:Literal ;
                 rdfs:comment "An unambiguous reference to the resource within a given context."@en ;
                 rdfs:label "identifier" .


###  http://purl.org/dc/terms/modified
terms:modified rdf:type owl:DatatypeProperty ;
               rdfs:subPropertyOf terms:date ;
               rdfs:domain owl:Thing ;
               rdfs:range rdfs:Literal ;
               rdfs:comment "Date on which the resource was changed."@en ;
               rdfs:label "modified" .


###  http://purl.org/dc/terms/title
terms:title rdf:type owl:DatatypeProperty ;
            rdfs:domain owl:Thing ;
            rdfs:range xsd:string ;
            rdfs:comment "A name given to the resource (e.g., book, algorithm, research software)."@en ;
            rdfs:label "title" .


###  http://www.w3.org/ns/dcat#byteSize
dcat:byteSize rdf:type owl:DatatypeProperty ;
              rdfs:domain amv:Implementation ;
              rdfs:range xsd:decimal ;
              rdfs:comment "The size of a distribution in bytes."@en ;
              rdfs:label "byte size"@en .


###  http://www.w3.org/ns/dcat#landingPage
dcat:landingPage rdf:type owl:DatatypeProperty ;
                 rdfs:subPropertyOf foaf:page ;
                 rdfs:domain owl:Thing ;
                 rdfs:range xsd:string ;
                 rdfs:comment "A Web page that can be navigated to in a Web browser to gain access to the catalog, a dataset, its distributions and/or additional information."@en ;
                 rdfs:label "landingPage" .


###  http://www.w3.org/ns/dcat#version
dcat:version rdf:type owl:DatatypeProperty ;
             rdfs:domain [ rdf:type owl:Class ;
                           owl:unionOf ( wd:Q8366
                                         amv:Implementation
                                       )
                         ] ;
             rdfs:range rdfs:Literal ;
             rdfs:comment "The version number of a resource."@en ;
             rdfs:label "version"@en .


###  http://xmlns.com/foaf/0.1/firstName
foaf:firstName rdf:type owl:DatatypeProperty ;
               rdfs:domain foaf:Person ;
               rdfs:range xsd:string ;
               rdfs:comment "The first name of a person."@en ;
               rdfs:label "first name"@en .


###  http://xmlns.com/foaf/0.1/homepage
foaf:homepage rdf:type owl:DatatypeProperty ;
              rdfs:domain owl:Thing ;
              rdfs:range xsd:anyURI ;
              rdfs:comment "A homepage for some thing."@en ;
              rdfs:label "homepage" .


###  http://xmlns.com/foaf/0.1/lastName
foaf:lastName rdf:type owl:DatatypeProperty ;
              rdfs:domain foaf:Person ;
              rdfs:range xsd:string ;
              rdfs:comment "The last name of a person."@en ;
              rdfs:label "last name"@en .


###  http://xmlns.com/foaf/0.1/mbox
foaf:mbox rdf:type owl:DatatypeProperty ;
          rdfs:domain foaf:Agent ;
          rdfs:range xsd:string ;
          rdfs:comment "A personal mailbox, ie. an Internet mailbox associated with exactly one owner, the first owner of this mailbox. This is a 'static inverse functional property', in that there is (across time and change) at most one individual that ever has any particular value for foaf:mbox."@en ;
          rdfs:label "personal mailbox"@en .


###  http://xmlns.com/foaf/0.1/name
foaf:name rdf:type owl:DatatypeProperty ;
          rdfs:domain owl:Thing ;
          rdfs:range xsd:string ;
          rdfs:comment "The name for some thing."@en ;
          rdfs:label "name" .


###  http://xmlns.com/foaf/0.1/page
foaf:page rdf:type owl:DatatypeProperty ;
          rdfs:domain owl:Thing ;
          rdfs:range xsd:string ;
          rdfs:comment "A page or document about this thing."@en ;
          rdfs:label "page" .


###  https://w3id.org/amv#accessibility
amv:accessibility rdf:type owl:DatatypeProperty ;
                  rdfs:domain amv:Algorithm ;
                  rdfs:range xsd:string ;
                  rdfs:comment "The information on access (i.e modify, read, download) to the algorithm."@en ;
                  rdfs:label "accessibility"@en .


###  https://w3id.org/amv#accuracy
amv:accuracy rdf:type owl:DatatypeProperty ;
             rdfs:domain amv:PerformanceMetric ;
             rdfs:range xsd:decimal ;
             rdfs:comment "How close the output will be to a set point."@en ,
                          "It is the measure of the degree of closeness of a measured or calculated value to its actual value."@en ;
             rdfs:label "accuracy" .


###  https://w3id.org/amv#acronym
amv:acronym rdf:type owl:DatatypeProperty ;
            rdfs:domain owl:Thing ;
            rdfs:range xsd:string ;
            rdfs:label "acronym"@en .


###  https://w3id.org/amv#alternativeTitle
amv:alternativeTitle rdf:type owl:DatatypeProperty ;
                     rdfs:domain owl:Thing ;
                     rdfs:range xsd:string ;
                     rdfs:comment "An alternative title of a resource."@en ;
                     rdfs:label "alternative title"@en .


###  https://w3id.org/amv#averageMessageComplexity
amv:averageMessageComplexity rdf:type owl:DatatypeProperty ;
                             rdfs:domain amv:MessageComplexity ;
                             rdfs:range xsd:string ;
                             rdfs:label "average message complexity"@en .


###  https://w3id.org/amv#averageSpaceComplexity
amv:averageSpaceComplexity rdf:type owl:DatatypeProperty ;
                           rdfs:domain amv:SpaceComplexity ;
                           rdfs:range xsd:string ;
                           rdfs:comment "Space complexity of an algorithm on average.(https://www.wikidata.org/wiki/Property:P3757)" ;
                           rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P3757"@en ;
                           rdfs:label "average space complexity"@en .


###  https://w3id.org/amv#averageTimeComplexity
amv:averageTimeComplexity rdf:type owl:DatatypeProperty ;
                          rdfs:domain amv:TimeComplexity ;
                          rdfs:range xsd:string ;
                          rdfs:comment "Time complexity of an algorithm on average. (https://www.wikidata.org/wiki/Property:P3754)"@en ;
                          rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P3754"@en ;
                          rdfs:label "average time complexity"@en .


###  https://w3id.org/amv#bestCaseMessageComplexity
amv:bestCaseMessageComplexity rdf:type owl:DatatypeProperty ;
                              rdfs:domain amv:MessageComplexity ;
                              rdfs:range xsd:string ;
                              rdfs:label "best case message complexity"@en .


###  https://w3id.org/amv#bestCaseSpaceComplexity
amv:bestCaseSpaceComplexity rdf:type owl:DatatypeProperty ;
                            rdfs:domain amv:SpaceComplexity ;
                            rdfs:range xsd:string ;
                            rdfs:comment "Space complexity of an algorithm at least.(https://www.wikidata.org/wiki/Property:P3756)" ;
                            rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P3756"@en ;
                            rdfs:label "best case space complexity"@en .


###  https://w3id.org/amv#bestCaseTimeComplexity
amv:bestCaseTimeComplexity rdf:type owl:DatatypeProperty ;
                           rdfs:domain amv:TimeComplexity ;
                           rdfs:range xsd:string ;
                           rdfs:comment "Time complexity of an algorithm at least. (https://www.wikidata.org/wiki/Property:P3753)"@en ;
                           rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P3753"@en ;
                           rdfs:label "best case time complexity"@en .


###  https://w3id.org/amv#constraint
amv:constraint rdf:type owl:DatatypeProperty ;
               rdfs:domain amv:Algorithm ;
               rdfs:range xsd:string ;
               rdfs:comment "Limitations that an algorithm posses."@en ;
               rdfs:label "constraint"@en .


###  https://w3id.org/amv#cpuTimeLimit
amv:cpuTimeLimit rdf:type owl:DatatypeProperty ;
                 rdfs:domain amv:Implementation ;
                 rdfs:range xsd:integer ;
                 rdfs:comment "Time taken by CPU while executing the program.(In seconds)"@en ;
                 rdfs:label "cpu time limit"@en .


###  https://w3id.org/amv#definingFormula
amv:definingFormula rdf:type owl:DatatypeProperty ;
                    rdfs:domain amv:MathematicalProperties ;
                    rdfs:range xsd:string ;
                    rdfs:comment """The mathematical formula used for solving the problem.	
Mathematical formula representing a theorem or law."""@en ;
                    rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/p2534"@en ;
                    rdfs:label "defining formula"@en .


###  https://w3id.org/amv#definition
amv:definition rdf:type owl:DatatypeProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range xsd:string ;
               rdfs:label "definiton"@en .


###  https://w3id.org/amv#edgeCase
amv:edgeCase rdf:type owl:DatatypeProperty ;
             rdfs:domain amv:Algorithm ;
             rdfs:range xsd:string ;
             rdfs:comment "Input values that require special handling in an algorithm. When using the algorithm at an extreme(maximum or minimum) operating parameters."@en ;
             rdfs:label "edge Case"@en .


###  https://w3id.org/amv#excerpt
amv:excerpt rdf:type owl:DatatypeProperty ;
            rdfs:domain owl:Thing ;
            rdfs:range xsd:string ;
            rdfs:comment "An excerpt is a contiguous or discontiguous portion, or a passage selected from a larger work or document."@en ;
            rdfs:label "excerpt"@en .


###  https://w3id.org/amv#firstWrittenRecord
amv:firstWrittenRecord rdf:type owl:DatatypeProperty ;
                       rdfs:domain amv:Algorithm ;
                       rdfs:range xsd:dateTime ;
                       rdfs:comment "First time a subject was mentioned in writing.(https://www.wikidata.org/wiki/Property:P1249)" ;
                       rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P1249"@en ;
                       rdfs:label "time of earliest written record"@en .


###  https://w3id.org/amv#flexible
amv:flexible rdf:type owl:DatatypeProperty ;
             rdfs:domain amv:Algorithm ;
             rdfs:range xsd:boolean ;
             rdfs:comment "The algorithm written in such a way that it allows to add new features without changing the existing module."@en ;
             rdfs:label "flexible" .


###  https://w3id.org/amv#formalDefinition
amv:formalDefinition rdf:type owl:DatatypeProperty ;
                     rdfs:domain owl:Thing ;
                     rdfs:range xsd:string ;
                     rdfs:label "formal definition"@en .


###  https://w3id.org/amv#input
amv:input rdf:type owl:DatatypeProperty ;
          rdfs:domain [ rdf:type owl:Class ;
                        owl:unionOf ( amv:Algorithm
                                      amv:Implementation
                                    )
                      ] ;
          rdfs:range xsd:string ;
          rdfs:comment "Something that is operated on by any process or system. An algorithm can have zero or more inputs."@en ;
          rdfs:label "input"@en .


###  https://w3id.org/amv#inputDescription
amv:inputDescription rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf terms:description ;
                     rdfs:domain amv:Algorithm ;
                     rdfs:range xsd:string ;
                     rdfs:comment "Input description of an algorithm."@en ;
                     rdfs:label "input description"@en .


###  https://w3id.org/amv#libraryURI
amv:libraryURI rdf:type owl:DatatypeProperty ;
               rdfs:domain [ rdf:type owl:Class ;
                             owl:unionOf ( amv:Algorithm
                                           amv:Implementation
                                         )
                           ] ;
               rdfs:range xsd:anyURI ;
               rdfs:comment "Unique identifier of the central place where the algorithm is stored."@en ;
               rdfs:label "library URI" .


###  https://w3id.org/amv#numberOfNestedLoops
amv:numberOfNestedLoops rdf:type owl:DatatypeProperty ;
                        rdfs:domain amv:Algorithm ;
                        rdfs:range xsd:nonNegativeInteger ;
                        rdfs:comment "The number of nested loops in an algorithm."@en ;
                        rdfs:label "number Of Nested Loops" .


###  https://w3id.org/amv#numberOfSteps
amv:numberOfSteps rdf:type owl:DatatypeProperty ;
                  rdfs:domain amv:Algorithm ;
                  rdfs:range xsd:nonNegativeInteger ;
                  rdfs:comment "Total number of steps that the algorithm takes to solve a certain problem."@en ;
                  rdfs:label "number Of Steps" .


###  https://w3id.org/amv#offlineAlgorithm
amv:offlineAlgorithm rdf:type owl:DatatypeProperty ;
                     rdfs:domain amv:Algorithm ;
                     rdfs:range xsd:boolean ;
                     rdfs:comment "The complete dataset is required to start processing."@en ;
                     rdfs:label "offline algorithm"@en .


###  https://w3id.org/amv#onlineAlgorithm
amv:onlineAlgorithm rdf:type owl:DatatypeProperty ;
                    rdfs:domain amv:Algorithm ;
                    rdfs:range xsd:boolean ;
                    rdfs:comment "The data can be feed while processing."@en ;
                    rdfs:label "online algorithm"@en .


###  https://w3id.org/amv#optimal
amv:optimal rdf:type owl:DatatypeProperty ;
            rdfs:domain amv:Algorithm ;
            rdfs:range xsd:boolean ;
            rdfs:comment "An algorithm is optimal means the time complexity in the worst case is a lower bound of the function that describes the time complexity in the worst case of a problem that the algorithm in question solves."@en ;
            rdfs:label "optimal"@en .


###  https://w3id.org/amv#output
amv:output rdf:type owl:DatatypeProperty ;
           rdfs:domain [ rdf:type owl:Class ;
                         owl:unionOf ( amv:Algorithm
                                       amv:Implementation
                                     )
                       ] ;
           rdfs:range xsd:string ;
           rdfs:comment "Output after processing the input." ;
           rdfs:label "output"@en .


###  https://w3id.org/amv#precision
amv:precision rdf:type owl:DatatypeProperty ;
              rdfs:domain amv:PerformanceMetric ;
              rdfs:range xsd:float ;
              rdfs:comment "It is a measure of quality, higher precision means algorithm returns more relevant results than irrelevant ones."@en ;
              rdfs:label "precision"@en .


###  https://w3id.org/amv#problemDescription
amv:problemDescription rdf:type owl:DatatypeProperty ;
                       rdfs:subPropertyOf terms:description ;
                       rdfs:domain amv:Problem ;
                       rdfs:range xsd:string ;
                       rdfs:comment "A description providing the problem statement."@en ;
                       rdfs:label "problem description"@en .


###  https://w3id.org/amv#pub_downloadLink
amv:pub_downloadLink rdf:type owl:DatatypeProperty ;
                     rdfs:domain [ rdf:type owl:Class ;
                                   owl:unionOf ( wd:Q8366
                                                 amv:Implementation
                                               )
                                 ] ;
                     rdfs:range xsd:anyURI ;
                     rdfs:comment "URL which can be used to download a work."@en ;
                     rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/p4945"@en ;
                     rdfs:label "download link"@en .


###  https://w3id.org/amv#pub_rating
amv:pub_rating rdf:type owl:DatatypeProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range xsd:integer ;
               rdfs:comment "Rating given on the basis of usefulness of a thing."@en ;
               rdfs:label "rating"@en .


###  https://w3id.org/amv#pub_readme
amv:pub_readme rdf:type owl:DatatypeProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range xsd:string ;
               rdfs:comment "Provide a description or Link to algorithm, or similar resource \"Readme page\"."@en ;
               rdfs:label "read me"@en .


###  https://w3id.org/amv#readable
amv:readable rdf:type owl:DatatypeProperty ;
             rdfs:domain amv:Algorithm ;
             rdfs:range xsd:boolean ;
             rdfs:comment "Is the algorithm readable/understandable to the user."@en ;
             rdfs:label "readable"@en .


###  https://w3id.org/amv#recall
amv:recall rdf:type owl:DatatypeProperty ;
           rdfs:domain amv:PerformanceMetric ;
           rdfs:range xsd:float ;
           rdfs:comment "percentage of total relevent result correctly classified by the algorithm."@en ;
           rdfs:label "recall"@en .


###  https://w3id.org/amv#worstCaseMessageComplexity
amv:worstCaseMessageComplexity rdf:type owl:DatatypeProperty ;
                               rdfs:domain amv:MessageComplexity ;
                               rdfs:range xsd:string ;
                               rdfs:label "worst case message complexity"@en .


###  https://w3id.org/amv#worstCaseSpaceComplexity
amv:worstCaseSpaceComplexity rdf:type owl:DatatypeProperty ;
                             rdfs:domain amv:SpaceComplexity ;
                             rdfs:range xsd:string ;
                             rdfs:comment "Space complexity of an algorithm at most.(https://www.wikidata.org/wiki/Property:P3755)" ;
                             rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P3755"@en ;
                             rdfs:label "worst case space complexity"@en .


###  https://w3id.org/amv#worstCaseTimeComplexity
amv:worstCaseTimeComplexity rdf:type owl:DatatypeProperty ;
                            rdfs:domain amv:TimeComplexity ;
                            rdfs:range xsd:string ;
                            rdfs:comment "Time complexity of an algorithm at most. (https://www.wikidata.org/wiki/Property:P3752)"@en ;
                            rdfs:isDefinedBy "http://www.wikidata.org/prop/direct/P3752"@en ;
                            rdfs:label "worst case time complexity"@en .


#################################################################
#    Classes
#################################################################

###  http://purl.org/dc/terms/LicenseDocument
terms:LicenseDocument rdf:type owl:Class ;
                      rdfs:subClassOf terms:RightsStatement ;
                      rdfs:comment "A legal document giving official permission to do something with a Resource."@en ;
                      rdfs:label "LicenseDocument" .


###  http://purl.org/dc/terms/RightsStatement
terms:RightsStatement rdf:type owl:Class ;
                      rdfs:comment "A statement about the intellectual property rights (IPR) held in or over a Resource, a legal document giving official permission to do something with a resource, or a statement about access rights."@en ;
                      rdfs:label "Rights Statement" .


###  http://purl.org/ontology/bibo/AcademicArticle
bibo:AcademicArticle rdf:type owl:Class ;
                     rdfs:subClassOf bibo:Article ;
                     rdfs:comment "A scholarly academic article, typically published in a journal."@en ;
                     rdfs:label "Academic article"@en .


###  http://purl.org/ontology/bibo/Article
bibo:Article rdf:type owl:Class ;
             rdfs:subClassOf bibo:Document ;
             rdfs:comment "A written composition in prose, usually nonfiction, on a specific topic, forming an independent part of a book or other publication, as a newspaper or magazine."@en ;
             rdfs:label "Article"@en .


###  http://purl.org/ontology/bibo/Book
bibo:Book rdf:type owl:Class ;
          rdfs:subClassOf bibo:Document ;
          rdfs:comment "A written or printed work of fiction or nonfiction, usually on sheets of paper fastened or bound together within covers."@en ;
          rdfs:label "Book"@en .


###  http://purl.org/ontology/bibo/BookSection
bibo:BookSection rdf:type owl:Class ;
                 rdfs:subClassOf bibo:DocumentPart ;
                 rdfs:comment "A section of a book."@en ;
                 rdfs:label "Book Section"@en .


###  http://purl.org/ontology/bibo/Chapter
bibo:Chapter rdf:type owl:Class ;
             rdfs:subClassOf bibo:BookSection ;
             rdfs:comment "A chapter of a book."@en ;
             rdfs:label "Chapter"@en ;
             skos:AltLabel "Book chapter"@en .


###  http://purl.org/ontology/bibo/CollectedDocument
bibo:CollectedDocument rdf:type owl:Class ;
                       rdfs:subClassOf bibo:Document ;
                       rdfs:comment "A document that simultaneously contains other documents."@en ;
                       rdfs:label "Collected Document"@en .


###  http://purl.org/ontology/bibo/Collection
bibo:Collection rdf:type owl:Class ;
                rdfs:subClassOf amv:pub_InformationResource ;
                rdfs:comment "A collection of Documents or Collections."@en ;
                rdfs:label "Collection"@en .


###  http://purl.org/ontology/bibo/Document
bibo:Document rdf:type owl:Class ;
              owl:equivalentClass foaf:Document ;
              rdfs:subClassOf amv:pub_InformationResource ;
              rdfs:comment "A document (noun) is a bounded physical representation of body of information designed with the capacity (and usually intent) to communicate. A document may manifest symbolic, diagrammatic or sensory-representational information."@en ,
                           "The algorithm was published in what kind of literature." ;
              rdfs:label "Document"@en .


###  http://purl.org/ontology/bibo/DocumentPart
bibo:DocumentPart rdf:type owl:Class ;
                  rdfs:subClassOf bibo:Document ;
                  rdfs:comment "a distinct part of a larger document or collected document."@en ;
                  rdfs:label "Document Part"@en .


###  http://purl.org/ontology/bibo/EditedBook
bibo:EditedBook rdf:type owl:Class ;
                rdfs:subClassOf bibo:CollectedDocument ;
                rdfs:comment "An edited book."@en ;
                rdfs:label "Edited Book"@en .


###  http://purl.org/ontology/bibo/Excerpt
bibo:Excerpt rdf:type owl:Class ;
             rdfs:subClassOf bibo:DocumentPart ;
             rdfs:comment "A passage selected from a larger work."@en ;
             rdfs:label "Excerpt"@en .


###  http://purl.org/ontology/bibo/Issue
bibo:Issue rdf:type owl:Class ;
           rdfs:subClassOf bibo:CollectedDocument ;
           rdfs:comment "something that is printed or published and distributed, esp. a given number of a periodical."@en ;
           rdfs:label "Issue"@en .


###  http://purl.org/ontology/bibo/Journal
bibo:Journal rdf:type owl:Class ;
             rdfs:subClassOf bibo:Periodical ;
             owl:disjointWith bibo:Magazine ;
             rdfs:comment "A periodical of scholarly journal Articles."@en ,
                          "a periodical dedicated to a particular subject; \"he reads the medical journals.\""@en ;
             rdfs:label "Journal"@en .


###  http://purl.org/ontology/bibo/Magazine
bibo:Magazine rdf:type owl:Class ;
              rdfs:subClassOf bibo:Periodical ;
              rdfs:comment "A periodical of magazine Articles. A magazine is a publication that is issued periodically, usually bound in a paper cover, and typically contains essays, stories, poems, etc., by many writers, and often photographs and drawings, frequently specializing in a particular subject or area, as hobbies, news, or sports."@en ,
                           "A periodical publication containing articles and illustrations, often on a particular subject or aimed at a particular readership."@en ;
              rdfs:label "Magazine"@en .


###  http://purl.org/ontology/bibo/Manuscript
bibo:Manuscript rdf:type owl:Class ;
                rdfs:subClassOf bibo:Document ;
                rdfs:comment "An unpublished Document, which may also be submitted to a publisher for publication."@en ;
                rdfs:label "Manuscript"@en .


###  http://purl.org/ontology/bibo/Patent
bibo:Patent rdf:type owl:Class ;
            rdfs:subClassOf bibo:Document ;
            rdfs:comment "A document describing the exclusive right granted by a government to an inventor to manufacture, use, or sell an invention for a certain number of years."@en ;
            rdfs:label "Patent"@en .


###  http://purl.org/ontology/bibo/Periodical
bibo:Periodical rdf:type owl:Class ;
                rdfs:subClassOf bibo:Collection ;
                owl:disjointWith bibo:Series ,
                                 bibo:Website ;
                rdfs:comment "A group of related documents issued at regular intervals."@en ;
                rdfs:label "Periodical"@en .


###  http://purl.org/ontology/bibo/Proceedings
bibo:Proceedings rdf:type owl:Class ;
                 rdfs:subClassOf bibo:Book ;
                 rdfs:comment "A compilation of documents published from an event, such as a conference."@en ;
                 rdfs:label "Proceedings"@en .


###  http://purl.org/ontology/bibo/ReferenceSource
bibo:ReferenceSource rdf:type owl:Class ;
                     rdfs:subClassOf bibo:Document ;
                     rdfs:comment "A document that presents authoritative reference information, such as a dictionary or encylopedia."@en ;
                     rdfs:label "Reference Source"@en .


###  http://purl.org/ontology/bibo/Report
bibo:Report rdf:type owl:Class ;
            rdfs:subClassOf bibo:Document ;
            rdfs:comment "A document describing an account or statement describing in detail an event, situation, or the like, usually as the result of observation, inquiry, etc.."@en ;
            rdfs:label "Report"@en .


###  http://purl.org/ontology/bibo/Series
bibo:Series rdf:type owl:Class ;
            rdfs:subClassOf bibo:Collection ;
            rdfs:comment "A loose, thematic, collection of Documents, often Books."@en ;
            rdfs:label "Series"@en .


###  http://purl.org/ontology/bibo/Slide
bibo:Slide rdf:type owl:Class ;
           rdfs:subClassOf bibo:DocumentPart ;
           rdfs:comment "A slide in a slideshow."@en ;
           rdfs:label "Slide"@en .


###  http://purl.org/ontology/bibo/Thesis
bibo:Thesis rdf:type owl:Class ;
            rdfs:subClassOf bibo:Document ;
            rdfs:comment "A document created to summarize research findings associated with the completion of an academic degree."@en ;
            rdfs:label "Thesis"@en .


###  http://purl.org/ontology/bibo/Webpage
bibo:Webpage rdf:type owl:Class ;
             rdfs:subClassOf bibo:Document ;
             rdfs:comment "A web page is an online document available (at least initially) on the world wide web. A web page is written first and foremost to appear on the web, as distinct from other online resources such as books, manuscripts or audio documents which use the web primarily as a distribution mechanism alongside other more traditional methods such as print."@en ;
             rdfs:label "Webpage"@en .


###  http://purl.org/ontology/bibo/Website
bibo:Website rdf:type owl:Class ;
             rdfs:subClassOf bibo:Collection ;
             rdfs:comment "A group of Webpages accessible on the Web."@en ;
             rdfs:label "Website"@en .


###  http://schema.org/Comment
<http://schema.org/Comment> rdf:type owl:Class ;
                            rdfs:comment "A comment on an item - for example, a comment on a blog post. The comment's content is expressed via the text property, and its topic via about, properties shared with all CreativeWorks."@en ;
                            rdfs:label "Comment"@en .


###  http://www.wikidata.org/entity/Q11862829
wd:Q11862829 rdf:type owl:Class ;
             owl:equivalentClass amv:pub_Discipline ;
             rdfs:comment "Academic field of study or profession."@en ;
             rdfs:label "Academic discipline"@en .


###  http://www.wikidata.org/entity/Q8366
wd:Q8366 rdf:type owl:Class ;
         owl:equivalentClass amv:Algorithm ;
         rdfs:comment "Unambiguous specification of how to solve a class of problems.(https://www.wikidata.org/wiki/Q8366)"@en ;
         rdfs:label "Algorithm"@en .


###  http://www.wikidata.org/entity/Q9143
wd:Q9143 rdf:type owl:Class ;
         owl:equivalentClass amv:ProgrammingLanguage ;
         rdfs:comment "language designed to communicate instructions to a machine."@en ;
         rdfs:label "Programming language"@en ;
         skos:AltLabel "Computer language"@en .


###  http://xmlns.com/foaf/0.1/Agent
foaf:Agent rdf:type owl:Class ;
           rdfs:comment "A resource that acts or has the power to act. Example of Agents include person and organization."@en ;
           rdfs:label "Agent"@en .


###  http://xmlns.com/foaf/0.1/Document
foaf:Document rdf:type owl:Class ;
              rdfs:subClassOf amv:pub_InformationResource ;
              rdfs:comment "The Document class represents those things which are, broadly conceived, 'documents'."@en ;
              rdfs:label "Document"@en .


###  http://xmlns.com/foaf/0.1/Image
foaf:Image rdf:type owl:Class ;
           rdfs:subClassOf foaf:Document ;
           rdfs:comment "The class Image is a sub-class of Document corresponding to those documents which are images."@en ;
           rdfs:label "Image"@en .


###  http://xmlns.com/foaf/0.1/Organization
foaf:Organization rdf:type owl:Class ;
                  rdfs:subClassOf foaf:Agent ;
                  owl:disjointWith foaf:Person ;
                  rdfs:comment "An agent belonging to some social institutions such as companies, associations etc, that has a collective goal."@en ;
                  rdfs:label "Organization"@en .


###  http://xmlns.com/foaf/0.1/Person
foaf:Person rdf:type owl:Class ;
            rdfs:subClassOf foaf:Agent ;
            rdfs:comment "A human."@en ;
            rdfs:label "Person"@en .


###  https://schema.org/OperatingSystem
schema:OperatingSystem rdf:type owl:Class ;
                       rdfs:comment "An Operating System (OS) is an interface between a computer user and computer hardware. An operating system is a software which performs all the basic tasks like file management, memory management, process management, handling input and output, and controlling peripheral devices such as disk drives and printers." ;
                       rdfs:label "Operating system"@en .


###  https://w3id.org/amv#Algorithm
amv:Algorithm rdf:type owl:Class ;
              rdfs:subClassOf [ rdf:type owl:Restriction ;
                                owl:onProperty amv:computesSolutionTo ;
                                owl:someValuesFrom amv:Problem
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty amv:isATypeOf ;
                                owl:someValuesFrom amv:AlgorithmicType
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty amv:pub_appearedIn ;
                                owl:someValuesFrom amv:pub_InformationResource
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty amv:input ;
                                owl:someValuesFrom xsd:string
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty amv:numberOfSteps ;
                                owl:someValuesFrom xsd:nonNegativeInteger
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty amv:output ;
                                owl:someValuesFrom xsd:string
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty terms:title ;
                                owl:allValuesFrom xsd:string
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty terms:title ;
                                owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                owl:onDataRange xsd:string
                              ] ;
              rdfs:comment "It is a finite and unambiguous sequence of computer implementable instructions to perform a certain task. This can be a simple process, such as adding two numbers together, or a complex function, such as adding effects to an image. It can be expressed within a finite amount of space and time and in a well-defined formal language."@en ;
              rdfs:label "Algorithm" .


###  https://w3id.org/amv#AlgorithmAnalysisFunction
amv:AlgorithmAnalysisFunction rdf:type owl:Class ;
                              rdfs:comment "Time complexity corresponds to the amount of time required for an algorithm to run over the provided input in order to generate the required output. Analysis of this helps to predict the resources that an algorithm will take to finish execution."@en ;
                              rdfs:label "AlgorithmAnalysisFunction"@en .


###  https://w3id.org/amv#AlgorithmicType
amv:AlgorithmicType rdf:type owl:Class ;
                    rdfs:comment """The different type of algorithmic techniques that are used to solve the various existing problems in the most optimized manner.
This classification is neither exhaustive nor disjoint."""@en ;
                    rdfs:label "Algorithmic Type"@en .


###  https://w3id.org/amv#CombinatorialOptimizationProblem
amv:CombinatorialOptimizationProblem rdf:type owl:Class ;
                                     rdfs:subClassOf amv:OptimizationProblem ;
                                     rdfs:label "Combinatorial optimization problem"@en .


###  https://w3id.org/amv#CombinatorialProblem
amv:CombinatorialProblem rdf:type owl:Class ;
                         rdfs:subClassOf amv:Problem ;
                         rdfs:comment "Combinatorial algorithms are computational procedures which are designed to help solve combinatorial problems. Combinatorial problems are problems involving arrangements of elements from a finite set and selections from a finite set." ;
                         rdfs:label "Combinatorial Problem" .


###  https://w3id.org/amv#ComputationalGeometryProblem
amv:ComputationalGeometryProblem rdf:type owl:Class ;
                                 rdfs:subClassOf amv:Problem ;
                                 rdfs:comment "Computational geometry is a branch of computer science devoted to the study of algorithms which can be stated in terms of geometry. Some purely geometrical problems arise out of the study of computational geometric algorithms, and such problems are also considered to be part of computational geometry." ;
                                 rdfs:label "Computational Geometry Problem"@en .


###  https://w3id.org/amv#DataStructure
amv:DataStructure rdf:type owl:Class ;
                  rdfs:comment "A data structure is a named location that can be used to store and organize data."@en ;
                  rdfs:label "Data Structure" .


###  https://w3id.org/amv#DataStructuresProblem
amv:DataStructuresProblem rdf:type owl:Class ;
                          rdfs:subClassOf amv:Problem ;
                          rdfs:comment "Solving problems related to data structure i.e  a particular way of organizing data in a computer so that it can be used effectively." ;
                          rdfs:label "Data Structures Problem"@en .


###  https://w3id.org/amv#FormOfExpression
amv:FormOfExpression rdf:type owl:Class ;
                     rdfs:comment "The available form of expression/ notation of an algorithm. For example, Flowcharts, pseudocode, control tables, etc. (source: https://en.wikipedia.org/wiki/Algorithm)"@en ;
                     rdfs:label "Form of expression"@en .


###  https://w3id.org/amv#GraphProblem
amv:GraphProblem rdf:type owl:Class ;
                 rdfs:subClassOf amv:Problem ;
                 rdfs:comment "A Graph is a non-linear data structure consisting of nodes and edges. The nodes are sometimes also referred to as vertices and the edges are lines or arcs that connect any two nodes in the graph." ;
                 rdfs:label "Graph Problem"@en .


###  https://w3id.org/amv#HardProblem
amv:HardProblem rdf:type owl:Class ;
                rdfs:subClassOf amv:GraphProblem ;
                rdfs:comment """Any graph problem, which is NP-hard in general graphs, becomes polynomial-time solvable when restricted to graphs in special
classes.""" ;
                rdfs:label "Hard Problem"@en .


###  https://w3id.org/amv#Implementation
amv:Implementation rdf:type owl:Class ;
                   rdfs:subClassOf [ rdf:type owl:Restriction ;
                                     owl:onProperty amv:implementationOf ;
                                     owl:someValuesFrom amv:Algorithm
                                   ] ,
                                   [ rdf:type owl:Restriction ;
                                     owl:onProperty amv:programmingLanguage ;
                                     owl:someValuesFrom amv:ProgrammingLanguage
                                   ] ,
                                   [ rdf:type owl:Restriction ;
                                     owl:onProperty amv:runsOnOperatingSystem ;
                                     owl:someValuesFrom schema:OperatingSystem
                                   ] ;
                   rdfs:comment "A manifestation of a technical specification or algorithm as a program, software component, or other computer system through computer programming and deployment (source: https://en.wikipedia.org/wiki/Implementation)."@en ;
                   rdfs:label "Implementation"@en .


###  https://w3id.org/amv#LoopConstruct
amv:LoopConstruct rdf:type owl:Class ;
                  rdfs:comment "The type of loop best suited when an algorithm is implemented in any desired programming language. The loop types are for loop, while loop, do-while loop."@en ;
                  rdfs:label "Loop construct"@en .


###  https://w3id.org/amv#MathematicalProperties
amv:MathematicalProperties rdf:type owl:Class ;
                           rdfs:comment "The mathematical concept used in the algorithm to tackle the problem. This includes set theoty, linear algebra, graph theory etc."@en ;
                           rdfs:label "Mathematical property"@en .


###  https://w3id.org/amv#MessageComplexity
amv:MessageComplexity rdf:type owl:Class ;
                      rdfs:subClassOf amv:Metric ;
                      rdfs:comment "The number of messages passed. This is an important measure, primarily applicable in case of distributed algorithms."@en ;
                      rdfs:label "Message complexity"@en .


###  https://w3id.org/amv#Metric
amv:Metric rdf:type owl:Class ;
           rdfs:label "Metric"@en .


###  https://w3id.org/amv#NumericalProblem
amv:NumericalProblem rdf:type owl:Class ;
                     rdfs:subClassOf amv:Problem ;
                     rdfs:comment "Numerical algorithms are behind designing shapes (e.g. shapes for cars, planes, fonts), computing intensities for displaying graphics, animating moving objects, studying the spread of diseases, modelling the orbit of planets and satellites, supporting search engines such as google, and many more practical problems." ;
                     rdfs:label "Numerical Problem"@en .


###  https://w3id.org/amv#OptimizationProblem
amv:OptimizationProblem rdf:type owl:Class ;
                        rdfs:subClassOf amv:Problem ;
                        rdfs:comment "An optimization problem is the problem of finding the best solution from all feasible solutions."@en ;
                        rdfs:label "Optimization problem"@en .


###  https://w3id.org/amv#PerformanceMetric
amv:PerformanceMetric rdf:type owl:Class ;
                      rdfs:subClassOf amv:Metric ;
                      rdfs:comment "Performance metrics (e.g., accuracy, precision, recall) are used to evaluate different algorithms."@en ;
                      rdfs:label "Performance metric"@en .


###  https://w3id.org/amv#PolynomialTimeProblem
amv:PolynomialTimeProblem rdf:type owl:Class ;
                          rdfs:subClassOf amv:GraphProblem ;
                          rdfs:comment "Polynomial time problem means that an algorithm exists for its solution such that the number of steps in the algorithm is bounded by a polynomial function of n, where n corresponds to the length of the input for the problem."@en ;
                          rdfs:label "Polynomial Time Problem"@en .


###  https://w3id.org/amv#Problem
amv:Problem rdf:type owl:Class ;
            rdfs:comment "The various problems for which an algorithm is written."@en ;
            rdfs:label "Problem"@en .


###  https://w3id.org/amv#ProgrammingLanguage
amv:ProgrammingLanguage rdf:type owl:Class ;
                        rdfs:comment "Language designed to communicate instructions to a machine Programming languages are used in computer programming to implement algorithms." ;
                        rdfs:label "Programming language"@en .


###  https://w3id.org/amv#SetProblem
amv:SetProblem rdf:type owl:Class ;
               rdfs:subClassOf amv:Problem ;
               rdfs:comment "Sets are collections of symbols whose order is assumed to carry no significance."@en ;
               rdfs:label "Set Problem"@en .


###  https://w3id.org/amv#SpaceComplexity
amv:SpaceComplexity rdf:type owl:Class ;
                    rdfs:subClassOf amv:Metric ;
                    rdfs:comment "Space complexity of an algorithm quantifies the amount of space or memory taken by an algorithm to run as a function of the length of the input."@en ;
                    rdfs:label "Space complexity"@en .


###  https://w3id.org/amv#StringProblem
amv:StringProblem rdf:type owl:Class ;
                  rdfs:subClassOf amv:Problem ;
                  rdfs:comment "Strings are defined by the sequence or arrangement of symbols"@en ;
                  rdfs:label "String problem"@en .


###  https://w3id.org/amv#TimeComplexity
amv:TimeComplexity rdf:type owl:Class ;
                   rdfs:subClassOf amv:Metric ;
                   rdfs:comment "It represents the number of times a statement is executed."@en ,
                                """Time complexity of an algorithm quantifies the amount of time taken by an algorithm to run as a function of the length of the input. 

It measures only the executing time of the algorithm in a way that depends only on the algorithm itself and its input."""@en ;
                   rdfs:label "Time complexity"@en .


###  https://w3id.org/amv#pub_Discipline
amv:pub_Discipline rdf:type owl:Class ;
                   rdfs:comment "A branch of knowledge."@en ,
                                "Academic field of study or profession."@en ;
                   rdfs:label "Academic discipline"@en ;
                   skos:AltLabel "Academic field"@en ,
                                 "Subject area"@en .


###  https://w3id.org/amv#pub_InformationResource
amv:pub_InformationResource rdf:type owl:Class ;
                            rdfs:comment "An information resource."@en ;
                            rdfs:label "Information Resource"@en .


###  https://w3id.org/amv#pub_Manual
amv:pub_Manual rdf:type owl:Class ;
               rdfs:subClassOf bibo:Document ;
               rdfs:comment "A small reference book, especially one giving instructions."@en ;
               rdfs:label "Manual"@en .


#################################################################
#    Individuals
#################################################################

###  https://w3id.org/amv#AFormalBasisForTheHeuristicDeterminationOfMinimumCostPaths
amv:AFormalBasisForTheHeuristicDeterminationOfMinimumCostPaths rdf:type owl:NamedIndividual ;
                                                               terms:creator amv:BertramRaphael ,
                                                                             amv:NilsNilson ,
                                                                             amv:PeterHart ;
                                                               terms:created "01-01-1968T00:00:00"^^xsd:string ;
                                                               terms:identifier "https://ieeexplore.ieee.org/document/4082128"^^rdfs:Literal ;
                                                               terms:title "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"^^xsd:string .


###  https://w3id.org/amv#Ada
amv:Ada rdf:type owl:NamedIndividual ,
                 amv:ProgrammingLanguage .


###  https://w3id.org/amv#Algorithm232-HeapSort
amv:Algorithm232-HeapSort rdf:type owl:NamedIndividual ;
                          terms:creator amv:JWJWilliams ;
                          terms:identifier "https://doi.org/10.1145/512274.512284"^^rdfs:Literal ;
                          terms:title "Algorithm 232 - HeapSort"^^xsd:string .


###  https://w3id.org/amv#Apache
amv:Apache rdf:type owl:NamedIndividual ,
                    terms:LicenseDocument .


###  https://w3id.org/amv#ApproximationAlgortihm
amv:ApproximationAlgortihm rdf:type owl:NamedIndividual ,
                                    amv:AlgorithmicType .


###  https://w3id.org/amv#ArneKutzner
amv:ArneKutzner rdf:type owl:NamedIndividual ;
                foaf:name "Arne Kutzner"^^xsd:string .


###  https://w3id.org/amv#Array
amv:Array rdf:type owl:NamedIndividual ,
                   amv:DataStructure ;
          foaf:name "Array"^^xsd:string .


###  https://w3id.org/amv#AssignmentProblem
amv:AssignmentProblem rdf:type owl:NamedIndividual ,
                               amv:PolynomialTimeProblem .


###  https://w3id.org/amv#BacktrackingAlgorithm
amv:BacktrackingAlgorithm rdf:type owl:NamedIndividual ,
                                   amv:AlgorithmicType ;
                          rdfs:comment "Backtracking algorithms are based on a depth-first recursive search."@en .


###  https://w3id.org/amv#Basic
amv:Basic rdf:type owl:NamedIndividual ,
                   amv:ProgrammingLanguage .


###  https://w3id.org/amv#BeadSort
amv:BeadSort rdf:type owl:NamedIndividual ,
                      amv:Algorithm ;
             terms:creator amv:CristianSCalude ,
                           amv:JoshuaJArulanandham ,
                           amv:MichaelDinneen ;
             amv:computesSolutionTo amv:Sorting ;
             amv:hasImplementation amv:BeadSortInPython ;
             amv:hasSpaceComplexity amv:BeadSortSpaceComplexity ;
             amv:hasTimeComplexity amv:BeadSortTimeComplexity ;
             amv:inputImage amv:BeadSort-R ;
             amv:outputImage amv:BeadSort-L ;
             amv:pub_appearedIn amv:BeadSort:ANaturalSortingAlgorithm ;
             terms:created "2002-01-01T00:00:00"^^rdfs:Literal ;
             terms:description "A natural sorting algorithm."^^xsd:string ;
             terms:identifier "https://rosettacode.org/wiki/Sorting_algorithms/Bead_sort"^^rdfs:Literal ;
             terms:title "Bead Sort"^^xsd:string ;
             amv:input "A set of positive integers."^^xsd:string .


###  https://w3id.org/amv#BeadSort-L
amv:BeadSort-L rdf:type owl:NamedIndividual ;
               terms:identifier "https://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/BeadSort-Figure1.svg/220px-BeadSort-Figure1.svg.png"^^rdfs:Literal ;
               terms:title "Bead Sort-L"^^xsd:string .


###  https://w3id.org/amv#BeadSort-R
amv:BeadSort-R rdf:type owl:NamedIndividual ;
               terms:identifier "https://upload.wikimedia.org/wikipedia/commons/thumb/9/92/BeadSort-Figure2.svg/220px-BeadSort-Figure2.svg.png"^^rdfs:Literal ;
               terms:title "Bead Sort -R"^^xsd:string .


###  https://w3id.org/amv#BeadSortInPython
amv:BeadSortInPython rdf:type owl:NamedIndividual ;
                     amv:programmingLanguage amv:Python ;
                     terms:identifier "https://en.wikipedia.org/wiki/Bead_sort#Implementation"^^rdfs:Literal ;
                     terms:title "Bead Sort In Python"^^xsd:string .


###  https://w3id.org/amv#BeadSortSpaceComplexity
amv:BeadSortSpaceComplexity rdf:type owl:NamedIndividual ;
                            amv:worstCaseTimeComplexity "O(n^2)"^^xsd:string .


###  https://w3id.org/amv#BeadSortTimeComplexity
amv:BeadSortTimeComplexity rdf:type owl:NamedIndividual ;
                           amv:averageTimeComplexity "O(S)"^^xsd:string ;
                           amv:bestCaseTimeComplexity "O(n)"^^xsd:string ;
                           amv:worstCaseTimeComplexity "O(S)"^^xsd:string .


###  https://w3id.org/amv#BellmanFordAlgorithm
amv:BellmanFordAlgorithm rdf:type owl:NamedIndividual ,
                                  amv:Algorithm ;
                         terms:relation amv:DijkstrasAlgorithm ;
                         amv:computesSolutionTo amv:ShortestPathProblem ;
                         amv:dataStructureUsed amv:GraphDataStructure ;
                         amv:hasSpaceComplexity amv:BellmanFordSpaceComplexity ;
                         amv:hasTimeComplexity amv:BellmanFordTimeComplexity ;
                         amv:isATypeOf amv:DynamicProgrammingAlgorithm ;
                         amv:loopConstruct amv:For ;
                         amv:pub_appearedIn amv:NetworkFlowTheory ,
                                            amv:OnARoutingProblem ;
                         terms:created "1958"^^rdfs:Literal ;
                         terms:description "The Bellman-Ford algorithm was first proposed by Alfonso Shimbel (1955), but is instead named after Richard Bellman and Lester Ford Jr., who published it in 1958 and 1956, respectively."^^xsd:string ,
                                           "The Bellman–Ford algorithm is an algorithm that computes shortest paths from a single source vertex to all of the other vertices in a weighted digraph. It is capable of handling graphs in which some of the edge weights are negative numbers."^^xsd:string ;
                         terms:title "Bellman-Ford Algorithm"^^xsd:string ;
                         amv:input "Graph and a source vertex src."^^xsd:string ;
                         amv:inputDescription "Works on negative or positive vertex, in a directed weighted graph."^^xsd:string ;
                         amv:output "Shortest distance to all vertices from src. If there is a negative weight cycle, then shortest distances are not calculated, negative weight cycle is reported."^^xsd:string .


###  https://w3id.org/amv#BellmanFordSpaceComplexity
amv:BellmanFordSpaceComplexity rdf:type owl:NamedIndividual ,
                                        amv:SpaceComplexity ;
                               amv:bestCaseSpaceComplexity "O(N)"^^xsd:string ;
                               amv:worstCaseSpaceComplexity "θ(|V|)"^^xsd:string .


###  https://w3id.org/amv#BellmanFordTimeComplexity
amv:BellmanFordTimeComplexity rdf:type owl:NamedIndividual ,
                                       amv:TimeComplexity ;
                              amv:bestCaseTimeComplexity "θ(|E|)"^^xsd:string ;
                              amv:worstCaseTimeComplexity "θ(|V||E|)"^^xsd:string .


###  https://w3id.org/amv#BellmanFormPerformanceMetric
amv:BellmanFormPerformanceMetric rdf:type owl:NamedIndividual ,
                                          amv:PerformanceMetric .


###  https://w3id.org/amv#BertramRaphael
amv:BertramRaphael rdf:type owl:NamedIndividual ;
                   foaf:name "Bertram Raphael"^^xsd:string .


###  https://w3id.org/amv#BestBinFirst
amv:BestBinFirst rdf:type owl:NamedIndividual ,
                          amv:Algorithm ;
                 terms:description "Best bin first is a search algorithm that is designed to efficiently find an approximate solution to the nearest neighbor search problem in very-high-dimensional spaces."^^xsd:string ;
                 terms:title "Best bin first"^^xsd:string .


###  https://w3id.org/amv#BlockSort
amv:BlockSort rdf:type owl:NamedIndividual ,
                       amv:Algorithm ;
              terms:creator amv:ArneKutzner ,
                            amv:PokSonKim ;
              amv:computesSolutionTo amv:Sorting ;
              amv:hasSpaceComplexity amv:BlockSortSpaceComplexity ;
              amv:hasTimeComplexity amv:BlockSortTimeComplexity ;
              amv:pub_appearedIn amv:RatioBasedStableIn-placeMerging ;
              terms:created "2008-01-01T00:00:00"^^rdfs:Literal ;
              terms:description "Efficient sorting algorithm that combines insert and merge operations."^^xsd:string ;
              terms:title "Block Sort"^^xsd:string .


###  https://w3id.org/amv#BlockSortSpaceComplexity
amv:BlockSortSpaceComplexity rdf:type owl:NamedIndividual ;
                             amv:worstCaseSpaceComplexity "O(1)"^^xsd:string .


###  https://w3id.org/amv#BlockSortTimeComplexity
amv:BlockSortTimeComplexity rdf:type owl:NamedIndividual ;
                            amv:averageTimeComplexity "O(nlog n)"^^xsd:string ;
                            amv:bestCaseTimeComplexity "O(n)"^^xsd:string ;
                            amv:worstCaseTimeComplexity "O(nlog n)"^^xsd:string .


###  https://w3id.org/amv#BranchAndBoundAlgorithm
amv:BranchAndBoundAlgorithm rdf:type owl:NamedIndividual ,
                                     amv:AlgorithmicType ;
                            rdfs:comment """Branch and bound algorithms are generally used for optimization problems. 
As the algorithm progresses, a tree of subproblems is formed. 
The original problem is considered the “root problem”. A method is used to construct an upper and lower bound for a given problem. At each node, apply the bounding methods."""@en .


###  https://w3id.org/amv#BruteForceAlgorithm
amv:BruteForceAlgorithm rdf:type owl:NamedIndividual ,
                                 amv:AlgorithmicType ;
                        rdfs:comment "A brute force algorithm simply tries all possibilities until a satisfactory solution is found."@en .


###  https://w3id.org/amv#BubbleSort
amv:BubbleSort rdf:type owl:NamedIndividual ,
                        amv:Algorithm ;
               amv:computesSolutionTo amv:Sorting ;
               amv:dataStructureUsed amv:Array ;
               amv:hasImplementation amv:BubbleSortPseudocodeImplementation ;
               amv:hasSpaceComplexity amv:BubbleSortSpaceComplexity ;
               amv:hasTimeComplexity amv:BubbleSortTimeComplexity ;
               terms:description "Simple sorting algorithm that works by repeatedly swapping the adjacent elements."^^xsd:string ;
               terms:title "Bubble sort"^^xsd:string .


###  https://w3id.org/amv#BubbleSortPseudocodeImplementation
amv:BubbleSortPseudocodeImplementation rdf:type owl:NamedIndividual ;
                                       terms:identifier "https://en.wikipedia.org/wiki/Bubble_sort#Implementation"^^rdfs:Literal ;
                                       terms:title "Bubble Sort Pseudocode Implementation"^^xsd:string .


###  https://w3id.org/amv#BubbleSortSpaceComplexity
amv:BubbleSortSpaceComplexity rdf:type owl:NamedIndividual ;
                              amv:worstCaseSpaceComplexity "O(1)"^^xsd:string .


###  https://w3id.org/amv#BubbleSortTimeComplexity
amv:BubbleSortTimeComplexity rdf:type owl:NamedIndividual ;
                             amv:averageTimeComplexity "O(n^2)"^^xsd:string ;
                             amv:bestCaseTimeComplexity "O(n)"^^xsd:string ;
                             amv:worstCaseTimeComplexity "O(n^2)"^^xsd:string .


###  https://w3id.org/amv#C
amv:C rdf:type owl:NamedIndividual ,
               amv:ProgrammingLanguage .


###  https://w3id.org/amv#CARHoare
amv:CARHoare rdf:type owl:NamedIndividual ;
             foaf:name "C. A. R. Hoare"^^xsd:string .


###  https://w3id.org/amv#ChristofidesAlgorithm
amv:ChristofidesAlgorithm rdf:type owl:NamedIndividual ,
                                   amv:Algorithm .


###  https://w3id.org/amv#CodeForDijkstrasAlgorithm
amv:CodeForDijkstrasAlgorithm rdf:type owl:NamedIndividual ;
                              terms:identifier "https://en.wikipedia.org/wiki/Dijkstra%27s_algorithm#Pseudocode"^^rdfs:Literal ;
                              terms:title "Code for Dijkstra's algorithm"^^xsd:string .


###  https://w3id.org/amv#ComputerProgram
amv:ComputerProgram rdf:type owl:NamedIndividual ,
                             amv:FormOfExpression .


###  https://w3id.org/amv#ComputerScience
amv:ComputerScience rdf:type owl:NamedIndividual ,
                             amv:pub_Discipline .


###  https://w3id.org/amv#ConstantFunctions
amv:ConstantFunctions rdf:type owl:NamedIndividual ,
                               amv:AlgorithmAnalysisFunction .


###  https://w3id.org/amv#ControlTable
amv:ControlTable rdf:type owl:NamedIndividual ,
                          amv:FormOfExpression .


###  https://w3id.org/amv#Copyleft
amv:Copyleft rdf:type owl:NamedIndividual ,
                      terms:LicenseDocument .


###  https://w3id.org/amv#CreativeCommonsAttribution3.0
amv:CreativeCommonsAttribution3.0 rdf:type owl:NamedIndividual ,
                                           terms:LicenseDocument .


###  https://w3id.org/amv#CreativeCommonsAttribution4.0
amv:CreativeCommonsAttribution4.0 rdf:type owl:NamedIndividual ,
                                           terms:LicenseDocument .


###  https://w3id.org/amv#CristianSCalude
amv:CristianSCalude rdf:type owl:NamedIndividual ;
                    foaf:name "Cristian S. Calude"^^xsd:string .


###  https://w3id.org/amv#CubicFunctionsAndPolynomials
amv:CubicFunctionsAndPolynomials rdf:type owl:NamedIndividual ,
                                          amv:AlgorithmAnalysisFunction .


###  https://w3id.org/amv#DataExtractionFromSbr
amv:DataExtractionFromSbr rdf:type owl:NamedIndividual ,
                                   amv:Algorithm ;
                          amv:dataStructureUsed amv:Dictionary ,
                                                amv:List ;
                          amv:formOfExpression amv:Pseudocode ;
                          amv:hasImplementation amv:DataExtractionImplementation ;
                          amv:loopConstruct amv:For ;
                          terms:created "2022-01-01T00:00:00"^^rdfs:Literal ;
                          terms:description "Extract the data of 75 algorithmic problems from Stony Brooks Algorithm Repository in tabular form."^^xsd:string ;
                          terms:identifier "https://github.com/jyotimapatel/Algorithmic_Knowledge_Graph/blob/main/scrape.py"^^rdfs:Literal ;
                          terms:title "Data Extraction From Sbr"^^xsd:string ;
                          amv:input "https://algorist.com/algorist.html"^^xsd:string ;
                          amv:numberOfSteps "9"^^xsd:nonNegativeInteger ;
                          amv:output "https://github.com/jyotimapatel/Algorithmic_Knowledge_Graph/blob/main/Problem(75).csv"^^xsd:string .


###  https://w3id.org/amv#DataExtractionImplementation
amv:DataExtractionImplementation rdf:type owl:NamedIndividual ;
                                 amv:programmingLanguage amv:Python ;
                                 terms:identifier "https://github.com/jyotimapatel/Algorithmic_Knowledge_Graph/blob/main/Problem(75).csv"^^rdfs:Literal ;
                                 terms:title "Data Extraction Implementation"^^xsd:string .


###  https://w3id.org/amv#DecodingRecurrentNeuralNetwork
amv:DecodingRecurrentNeuralNetwork rdf:type owl:NamedIndividual ;
                                   amv:computesSolutionTo amv:DecodingTargetLanguage ;
                                   amv:pub_appearedIn amv:SequenceToSequenceLearningWithNeuralNetworks .


###  https://w3id.org/amv#DecodingTargetLanguage
amv:DecodingTargetLanguage rdf:type owl:NamedIndividual .


###  https://w3id.org/amv#DelbertRayFulkerson
amv:DelbertRayFulkerson rdf:type owl:NamedIndividual ,
                                 foaf:Person .


###  https://w3id.org/amv#DerrickHenryLehmer
amv:DerrickHenryLehmer rdf:type owl:NamedIndividual ,
                                foaf:Person .


###  https://w3id.org/amv#Dictionary
amv:Dictionary rdf:type owl:NamedIndividual ,
                        amv:DataStructure .


###  https://w3id.org/amv#DifferentialCalculus
amv:DifferentialCalculus rdf:type owl:NamedIndividual ,
                                  amv:MathematicalProperties .


###  https://w3id.org/amv#DijkastrasAlgorithmTimeComplexity
amv:DijkastrasAlgorithmTimeComplexity rdf:type owl:NamedIndividual ;
                                      amv:worstCaseTimeComplexity "O(|E|+|V| log |V|)"^^xsd:string .


###  https://w3id.org/amv#DijkstrasAlgorithm
amv:DijkstrasAlgorithm rdf:type owl:NamedIndividual ,
                                amv:Algorithm ;
                       terms:creator amv:EdsgerWDijkstra ;
                       terms:relation amv:BellmanFordAlgorithm ;
                       amv:computesSolutionTo amv:ShortestPathProblem ;
                       amv:formOfExpression amv:Pseudocode ;
                       amv:hasImplementation amv:CodeForDijkstrasAlgorithm ;
                       amv:hasTimeComplexity amv:DijkastrasAlgorithmTimeComplexity ;
                       amv:isATypeOf amv:GreedyAlgorithm ;
                       terms:description "An algorithm for finding the shortest paths between nodes in a graph, which may represent, for example, road networks."^^xsd:string ,
                                         "Dijkstra's algorithm is a graph search algorithm that solves the single-source shortest path problem for a graph with non-negative edge path costs, producing a shortest path tree."^^xsd:string ;
                       terms:title "Dijkstra's Algorithm"^^xsd:string ;
                       amv:input "a directed and weighted graph consisting of 2 or more nodes."^^xsd:string ;
                       amv:inputDescription "Works on only positive- weight edges in a directed, acyclic graph. The input generally represented by an adjacency matrix or list, and a start node."^^xsd:string ;
                       amv:output "a set of edges depicting the shortest path to each destination node."^^xsd:string .


###  https://w3id.org/amv#DivideAndConquerAlgorithm
amv:DivideAndConquerAlgorithm rdf:type owl:NamedIndividual ,
                                       amv:AlgorithmicType ;
                              rdfs:comment "A divide and conquer algorithm consists of two parts: (i) Divide the problem into smaller subproblems of the same type, and solve these subproblems recursively; (ii) Combine the solutions to the subproblems into a solution to the original proble."@en .


###  https://w3id.org/amv#DoWhile
amv:DoWhile rdf:type owl:NamedIndividual ,
                     amv:LoopConstruct .


###  https://w3id.org/amv#DonaldKnuth
amv:DonaldKnuth rdf:type owl:NamedIndividual ,
                         foaf:Person .


###  https://w3id.org/amv#Drakon-chart
amv:Drakon-chart rdf:type owl:NamedIndividual ,
                          amv:FormOfExpression .


###  https://w3id.org/amv#DynamicProgrammingAlgorithm
amv:DynamicProgrammingAlgorithm rdf:type owl:NamedIndividual ,
                                         amv:AlgorithmicType ;
                                rdfs:comment """A dynamic programming algorithm remembers past results and uses them to find new results. 
Dynamic programming is generally used for optimization problems, where multiple solutions exist but need to find the “best” one."""@en .


###  https://w3id.org/amv#EdouardLucas
amv:EdouardLucas rdf:type owl:NamedIndividual ,
                          foaf:Person .


###  https://w3id.org/amv#EdsgerWDijkstra
amv:EdsgerWDijkstra rdf:type owl:NamedIndividual ;
                    foaf:name "Edsger W. Dijkstra"^^xsd:string .


###  https://w3id.org/amv#EdwardWForgy
amv:EdwardWForgy rdf:type owl:NamedIndividual ,
                          foaf:Person .


###  https://w3id.org/amv#EncoRNNTimeCom1
amv:EncoRNNTimeCom1 rdf:type owl:NamedIndividual ,
                             amv:TimeComplexity ;
                    amv:bestCaseTimeComplexity "O(N)"^^xsd:string .


###  https://w3id.org/amv#EncoderDecoder
amv:EncoderDecoder rdf:type owl:NamedIndividual ,
                            amv:Algorithm ;
                   amv:computesSolutionTo amv:NeuralMachineTranslation ;
                   amv:hasSubalgorithm amv:DecodingRecurrentNeuralNetwork ,
                                       amv:EncodingRecurrentNeuralNetwork ;
                   amv:hasTimeComplexity amv:EncoderDecoderTimeComplexity .


###  https://w3id.org/amv#EncoderDecoderTimeComplexity
amv:EncoderDecoderTimeComplexity rdf:type owl:NamedIndividual ;
                                 amv:bestCaseTimeComplexity "O(N)"^^xsd:string .


###  https://w3id.org/amv#EncodingRecurrentNeuralNetwork
amv:EncodingRecurrentNeuralNetwork rdf:type owl:NamedIndividual ;
                                   terms:creator amv:IlyaSutskever ,
                                                 amv:OriolVinyals ,
                                                 amv:QuocVLe ;
                                   amv:computesSolutionTo amv:EncodingSourceLanguage ;
                                   amv:hasTimeComplexity amv:EncoRNNTimeCom1 ;
                                   amv:pub_appearedIn amv:SequenceToSequenceLearningWithNeuralNetworks ;
                                   terms:created "2014-01-01T00:00:00"^^rdfs:Literal ;
                                   terms:description "It uses deep neural network layers and converts the input words to corresponding hidden vectors. Each vector represents the current word and the context of the word."^^xsd:string ;
                                   terms:title "Encoding Recurrent Neural Network"^^xsd:string ;
                                   amv:inputDescription "Series of symbols in some language that need to be translated."^^xsd:string .


###  https://w3id.org/amv#EncodingSourceLanguage
amv:EncodingSourceLanguage rdf:type owl:NamedIndividual .


###  https://w3id.org/amv#ExponentialFunctions
amv:ExponentialFunctions rdf:type owl:NamedIndividual ,
                                  amv:AlgorithmAnalysisFunction .


###  https://w3id.org/amv#FastMultipoleMethod
amv:FastMultipoleMethod rdf:type owl:NamedIndividual ,
                                 amv:Algorithm ;
                        amv:computesSolutionTo amv:n-bodyProblem ;
                        terms:description "The fast multipole method (FMM) is a numerical technique that was developed to speed up the calculation of long-ranged forces in the n-body problem."^^xsd:string ;
                        terms:title "Fast multipole method"^^xsd:string .


###  https://w3id.org/amv#FindingAMatch
amv:FindingAMatch rdf:type owl:NamedIndividual .


###  https://w3id.org/amv#Flowchart
amv:Flowchart rdf:type owl:NamedIndividual ,
                       amv:FormOfExpression .


###  https://w3id.org/amv#For
amv:For rdf:type owl:NamedIndividual ,
                 amv:LoopConstruct .


###  https://w3id.org/amv#Fortran
amv:Fortran rdf:type owl:NamedIndividual ,
                     amv:ProgrammingLanguage .


###  https://w3id.org/amv#GNU
amv:GNU rdf:type owl:NamedIndividual ,
                 terms:LicenseDocument .


###  https://w3id.org/amv#GPL
amv:GPL rdf:type owl:NamedIndividual ,
                 terms:LicenseDocument .


###  https://w3id.org/amv#GaussianElimination
amv:GaussianElimination rdf:type owl:NamedIndividual ,
                                 amv:MathematicalProperties .


###  https://w3id.org/amv#GeorgeDantzig
amv:GeorgeDantzig rdf:type owl:NamedIndividual ,
                           foaf:Person .


###  https://w3id.org/amv#Graph
amv:Graph rdf:type owl:NamedIndividual ;
          amv:definition "A set of items connected by edges. Each item is called a vertex or node. Formally, a graph is a set of vertices and a binary relation between vertices, adjacency."^^xsd:string ;
          rdfs:isDefinedBy "https://xlinux.nist.gov/dads/HTML/graph.html"@en ;
          rdfs:label "Graph"@en .


###  https://w3id.org/amv#GraphDataStructure
amv:GraphDataStructure rdf:type owl:NamedIndividual ,
                                amv:DataStructure .


###  https://w3id.org/amv#GraphTheory
amv:GraphTheory rdf:type owl:NamedIndividual ,
                         amv:MathematicalProperties .


###  https://w3id.org/amv#GreedyAlgorithm
amv:GreedyAlgorithm rdf:type owl:NamedIndividual ,
                             amv:AlgorithmicType .


###  https://w3id.org/amv#HashTable
amv:HashTable rdf:type owl:NamedIndividual ,
                       amv:DataStructure .


###  https://w3id.org/amv#HeapSort
amv:HeapSort rdf:type owl:NamedIndividual ,
                      amv:Algorithm ;
             terms:creator amv:JWJWilliams ;
             amv:computesSolutionTo amv:Sorting ;
             amv:dataStructureUsed amv:Array ;
             amv:hasSpaceComplexity amv:HeapSortSpaceComplexity ;
             amv:hasTimeComplexity amv:HeapSortTimeComplexity ;
             amv:pub_appearedIn amv:Algorithm232-HeapSort ;
             terms:description "Heapsort is a comparison-based sorting algorithm. Heapsort can be thought of as an improved selection sort: like selection sort, heapsort divides its input into a sorted and an unsorted region, and it iteratively shrinks the unsorted region by extracting the largest element from it and inserting it into the sorted region."^^xsd:string ;
             terms:identifier "https://rosettacode.org/wiki/Sorting_algorithms/Heapsort"^^rdfs:Literal ;
             terms:title "Heap Sort"^^xsd:string .


###  https://w3id.org/amv#HeapSortSpaceComplexity
amv:HeapSortSpaceComplexity rdf:type owl:NamedIndividual ;
                            amv:bestCaseSpaceComplexity "O(n)"^^xsd:string .


###  https://w3id.org/amv#HeapSortTimeComplexity
amv:HeapSortTimeComplexity rdf:type owl:NamedIndividual ;
                           amv:averageTimeComplexity "O(nlog n)"^^xsd:string ;
                           amv:bestCaseTimeComplexity "O(n)"^^xsd:string ;
                           amv:worstCaseTimeComplexity "O(nlog n)"^^xsd:string .


###  https://w3id.org/amv#Hypergraph
amv:Hypergraph rdf:type owl:NamedIndividual ,
                        amv:DataStructure ;
               prov:specializationOf amv:Graph ;
               amv:definition "A graph whose hyperedges connect two or more vertices."^^xsd:string ;
               amv:formalDefinition "A hypergraph G can be defined as a pair (V, E), where V is a set of vertices, and E is a set of hyperedges between the vertices. Each hyperedge is a set of vertices: E ⊆ {{u, v, …} ∈ 2V}. (Hyperedges are undirected.)"^^xsd:string ;
               rdfs:isDefinedBy "https://xlinux.nist.gov/dads/HTML/hypergraph.html"@en ;
               rdfs:label "Hypergraph"@en .


###  https://w3id.org/amv#IlyaSutskever
amv:IlyaSutskever rdf:type owl:NamedIndividual ;
                  foaf:name "Ilya Sutskever"^^xsd:string .


###  https://w3id.org/amv#InsertionSort
amv:InsertionSort rdf:type owl:NamedIndividual ,
                           amv:Algorithm ;
                  amv:computesSolutionTo amv:Sorting ;
                  amv:dataStructureUsed amv:Array ;
                  amv:hasSpaceComplexity amv:InsertionSortSpaceComplexity ;
                  amv:hasTimeComplexity amv:InsertionSortTimeComplexity ;
                  terms:description "Sorting algorithm that, at each iteration, inserts the current input element into the suitable position between the already sorted elements."^^xsd:string ;
                  terms:identifier "https://rosettacode.org/wiki/Sorting_algorithms/Insertion_sort"^^rdfs:Literal ;
                  terms:title "Insertion Sort"^^xsd:string ;
                  amv:onlineAlgorithm "false"^^xsd:boolean .


###  https://w3id.org/amv#InsertionSortSpaceComplexity
amv:InsertionSortSpaceComplexity rdf:type owl:NamedIndividual ;
                                 amv:worstCaseSpaceComplexity "O(1)"^^xsd:string .


###  https://w3id.org/amv#InsertionSortTimeComplexity
amv:InsertionSortTimeComplexity rdf:type owl:NamedIndividual ;
                                amv:averageTimeComplexity "O(n^2)"^^xsd:string ;
                                amv:bestCaseTimeComplexity "O(n)"^^xsd:string ;
                                amv:worstCaseTimeComplexity "O(n^2)"^^xsd:string .


###  https://w3id.org/amv#Internal
amv:Internal rdf:type owl:NamedIndividual ,
                      terms:RightsStatement .


###  https://w3id.org/amv#JHHalton
amv:JHHalton rdf:type owl:NamedIndividual ,
                      foaf:Person .


###  https://w3id.org/amv#JWJWilliams
amv:JWJWilliams rdf:type owl:NamedIndividual ;
                foaf:name "J.W.J Williams"^^xsd:string .


###  https://w3id.org/amv#JamesHMorris
amv:JamesHMorris rdf:type owl:NamedIndividual ,
                          foaf:Person .


###  https://w3id.org/amv#JaromirDolecek
amv:JaromirDolecek rdf:type owl:NamedIndividual .


###  https://w3id.org/amv#Java
amv:Java rdf:type owl:NamedIndividual ,
                  amv:ProgrammingLanguage .


###  https://w3id.org/amv#JillianBeardwood
amv:JillianBeardwood rdf:type owl:NamedIndividual ,
                              foaf:Person .


###  https://w3id.org/amv#JohnHammersley
amv:JohnHammersley rdf:type owl:NamedIndividual ,
                            foaf:Person .


###  https://w3id.org/amv#JohnMauchly
amv:JohnMauchly rdf:type owl:NamedIndividual ,
                         foaf:Person .


###  https://w3id.org/amv#JohnVonNeumann
amv:JohnVonNeumann rdf:type owl:NamedIndividual ;
                   foaf:name "John Von Neumann"^^xsd:string .


###  https://w3id.org/amv#JoshuaJArulanandham
amv:JoshuaJArulanandham rdf:type owl:NamedIndividual ;
                        foaf:name "Joshua J. Arulanandham"^^xsd:string .


###  https://w3id.org/amv#KenThompson
amv:KenThompson rdf:type owl:NamedIndividual ,
                         foaf:Person .


###  https://w3id.org/amv#LRFord
amv:LRFord rdf:type owl:NamedIndividual ;
           foaf:name "L.R Ford"^^xsd:string .


###  https://w3id.org/amv#LinearAlgebra
amv:LinearAlgebra rdf:type owl:NamedIndividual ,
                           amv:MathematicalProperties ,
                           amv:pub_Discipline .


###  https://w3id.org/amv#LinearFunctions
amv:LinearFunctions rdf:type owl:NamedIndividual ,
                             amv:AlgorithmAnalysisFunction .


###  https://w3id.org/amv#LinkedList
amv:LinkedList rdf:type owl:NamedIndividual ,
                        amv:DataStructure .


###  https://w3id.org/amv#Lisp
amv:Lisp rdf:type owl:NamedIndividual ,
                  amv:ProgrammingLanguage .


###  https://w3id.org/amv#List
amv:List rdf:type owl:NamedIndividual ,
                  amv:DataStructure .


###  https://w3id.org/amv#LlewellynThomas
amv:LlewellynThomas rdf:type owl:NamedIndividual ,
                             foaf:Person .


###  https://w3id.org/amv#LogarithmicFunction
amv:LogarithmicFunction rdf:type owl:NamedIndividual ,
                                 amv:AlgorithmAnalysisFunction .


###  https://w3id.org/amv#MS-DOS
amv:MS-DOS rdf:type owl:NamedIndividual ,
                    schema:OperatingSystem .


###  https://w3id.org/amv#MatchFindingAlgorithm
amv:MatchFindingAlgorithm rdf:type owl:NamedIndividual ;
                          amv:computesSolutionTo amv:FindingAMatch .


###  https://w3id.org/amv#Mathematica
amv:Mathematica rdf:type owl:NamedIndividual .


###  https://w3id.org/amv#Mathematics
amv:Mathematics rdf:type owl:NamedIndividual ,
                         amv:pub_Discipline ;
                amv:pub_hasBranch amv:Graph ,
                                  amv:LinearAlgebra .


###  https://w3id.org/amv#Matlab
amv:Matlab rdf:type owl:NamedIndividual ,
                    amv:ProgrammingLanguage .


###  https://w3id.org/amv#MergeSort
amv:MergeSort rdf:type owl:NamedIndividual ,
                       amv:Algorithm ;
              terms:creator amv:JohnVonNeumann ;
              amv:computesSolutionTo amv:Sorting ;
              amv:dataStructureUsed amv:Array ;
              amv:hasSpaceComplexity amv:MergeSortSpaceComplexity ;
              amv:hasTimeComplexity amv:MergeSortTimeComplexity ;
              amv:isATypeOf amv:DivideAndConquerAlgorithm ;
              terms:created "1945-01-01T00:00:00"^^rdfs:Literal ;
              terms:description "Merge sort is an efficient, general-purpose, and comparison-based sorting algorithm."^^xsd:string ;
              terms:identifier "https://rosettacode.org/wiki/Sorting_algorithms/Merge_sort"^^rdfs:Literal ;
              terms:title "Merge Sort"^^xsd:string .


###  https://w3id.org/amv#MergeSortSpaceComplexity
amv:MergeSortSpaceComplexity rdf:type owl:NamedIndividual ;
                             amv:bestCaseSpaceComplexity "O(1)"^^xsd:string ;
                             amv:worstCaseSpaceComplexity "O(n)"^^xsd:string .


###  https://w3id.org/amv#MergeSortTimeComplexity
amv:MergeSortTimeComplexity rdf:type owl:NamedIndividual ;
                            amv:averageTimeComplexity "O(nlog n)"^^xsd:string ;
                            amv:bestCaseTimeComplexity "O(nlog n)"^^xsd:string ;
                            amv:worstCaseTimeComplexity "O(nlog n)"^^xsd:string .


###  https://w3id.org/amv#MichaelDinneen
amv:MichaelDinneen rdf:type owl:NamedIndividual ;
                   foaf:name "Michael Dinneen"^^xsd:string .


###  https://w3id.org/amv#MicrosoftWindows
amv:MicrosoftWindows rdf:type owl:NamedIndividual ,
                              schema:OperatingSystem .


###  https://w3id.org/amv#NaturalLanguage
amv:NaturalLanguage rdf:type owl:NamedIndividual ,
                             amv:FormOfExpression .


###  https://w3id.org/amv#NetworkFlowTheory
amv:NetworkFlowTheory rdf:type owl:NamedIndividual ,
                               bibo:AcademicArticle ;
                      terms:creator amv:LRFord ;
                      terms:created "01-01-1956T00:00:00"^^rdfs:Literal ;
                      terms:identifier "https://doi.org/10.1090/qam/102435"^^xsd:string ,
                                       "https://www.rand.org/pubs/papers/P923.html"^^rdfs:Literal ;
                      terms:title "Network Flow Theory."^^xsd:string .


###  https://w3id.org/amv#NeuralMachineTranslation
amv:NeuralMachineTranslation rdf:type owl:NamedIndividual ,
                                      amv:Problem ;
                             amv:hasSubproblem amv:DecodingTargetLanguage ,
                                               amv:EncodingSourceLanguage .


###  https://w3id.org/amv#NilsNilson
amv:NilsNilson rdf:type owl:NamedIndividual ;
               foaf:name "NIls Nilson"^^xsd:string .


###  https://w3id.org/amv#OnARoutingProblem
amv:OnARoutingProblem rdf:type owl:NamedIndividual ,
                               bibo:AcademicArticle ;
                      terms:creator amv:RichardEBellman ;
                      amv:pub_publishedIn <https://w3id.org/amv#QuartApplMath.> ;
                      terms:created "01-01-1958T00:00:00"^^rdfs:Literal ;
                      terms:identifier "https://doi.org/10.1090/qam/102435"^^rdfs:Literal ;
                      terms:title "On a Routing Problem"^^xsd:string .


###  https://w3id.org/amv#OriolVinyals
amv:OriolVinyals rdf:type owl:NamedIndividual ;
                 foaf:name "Oriol Vinyals"^^xsd:string .


###  https://w3id.org/amv#PHP
amv:PHP rdf:type owl:NamedIndividual ,
                 amv:ProgrammingLanguage .


###  https://w3id.org/amv#Pascal
amv:Pascal rdf:type owl:NamedIndividual ,
                    amv:ProgrammingLanguage .


###  https://w3id.org/amv#PerAustrin
amv:PerAustrin rdf:type owl:NamedIndividual ,
                        foaf:Person .


###  https://w3id.org/amv#PeterHart
amv:PeterHart rdf:type owl:NamedIndividual ;
              foaf:name "Peter Hart"^^xsd:string .


###  https://w3id.org/amv#PeterMcIlroy
amv:PeterMcIlroy rdf:type owl:NamedIndividual ,
                          foaf:Person .


###  https://w3id.org/amv#PokSonKim
amv:PokSonKim rdf:type owl:NamedIndividual ;
              foaf:name "Pok Son Kim"^^xsd:string .


###  https://w3id.org/amv#PriorityQueue
amv:PriorityQueue rdf:type owl:NamedIndividual ,
                           amv:DataStructure .


###  https://w3id.org/amv#Pseudocode
amv:Pseudocode rdf:type owl:NamedIndividual ,
                        amv:FormOfExpression .


###  https://w3id.org/amv#Public
amv:Public rdf:type owl:NamedIndividual ,
                    terms:RightsStatement .


###  https://w3id.org/amv#Python
amv:Python rdf:type owl:NamedIndividual ,
                    amv:ProgrammingLanguage .


###  https://w3id.org/amv#QuadriticFunction
amv:QuadriticFunction rdf:type owl:NamedIndividual ,
                               amv:AlgorithmAnalysisFunction .


###  https://w3id.org/amv#QuartApplMath.
<https://w3id.org/amv#QuartApplMath.> rdf:type owl:NamedIndividual ,
                                               bibo:Journal ;
                                      terms:title "Quarterly Applied Mathematics"^^xsd:string .


###  https://w3id.org/amv#QueryProcessing
amv:QueryProcessing rdf:type owl:NamedIndividual ;
                    amv:hasSubproblem amv:FindingAMatch .


###  https://w3id.org/amv#QueryProcessingAlgorithm
amv:QueryProcessingAlgorithm rdf:type owl:NamedIndividual ;
                             amv:computesSolutionTo amv:QueryProcessing ;
                             amv:hasSubalgorithm amv:MatchFindingAlgorithm .


###  https://w3id.org/amv#Queue
amv:Queue rdf:type owl:NamedIndividual ,
                   amv:DataStructure .


###  https://w3id.org/amv#QuickSort
amv:QuickSort rdf:type owl:NamedIndividual ,
                       amv:Algorithm ;
              terms:creator amv:CARHoare ;
              amv:computesSolutionTo amv:Sorting ;
              amv:hasSpaceComplexity amv:QuickSortSpaceComplexity ;
              amv:hasTimeComplexity amv:QuickSortTimeComplexity ;
              amv:isATypeOf amv:DivideAndConquerAlgorithm ;
              amv:pub_appearedIn amv:Algorithm64:Quicksort ;
              terms:created "1961-01-01T00:00:00"^^rdfs:Literal ;
              terms:description "Average-case optimal divide and conquer comparison sorting algorithm."^^xsd:string ,
                                "Quicksort is a type of divide and conquer algorithm for sorting an array, based on a partitioning routine."^^xsd:string ;
              terms:identifier "https://rosettacode.org/wiki/Sorting_algorithms/Quicksort"^^rdfs:Literal ;
              terms:title "Quick Sort"^^xsd:string ;
              amv:firstWrittenRecord "1959-01-01T00:00:00"^^xsd:dateTime .


###  https://w3id.org/amv#QuickSortSpaceComplexity
amv:QuickSortSpaceComplexity rdf:type owl:NamedIndividual ;
                             amv:averageSpaceComplexity "O(log n)"^^xsd:string ;
                             amv:worstCaseSpaceComplexity "O(n)"^^xsd:string .


###  https://w3id.org/amv#QuickSortTimeComplexity
amv:QuickSortTimeComplexity rdf:type owl:NamedIndividual ;
                            amv:averageTimeComplexity "O(nlog n)"^^xsd:string ;
                            amv:bestCaseTimeComplexity "O(nlog n)"^^xsd:string ;
                            amv:worstCaseTimeComplexity "O(n^^2)"^^xsd:string .


###  https://w3id.org/amv#QuocVLe
amv:QuocVLe rdf:type owl:NamedIndividual ;
            foaf:name "Quoc V. Le"^^xsd:string .


###  https://w3id.org/amv#R
amv:R rdf:type owl:NamedIndividual ,
               amv:ProgrammingLanguage .


###  https://w3id.org/amv#RandomizedAlgorithm
amv:RandomizedAlgorithm rdf:type owl:NamedIndividual ,
                                 amv:AlgorithmicType ;
                        rdfs:comment "A randomized algorithm uses a random number at least once during the computation to make a decision."@en .


###  https://w3id.org/amv#RatioBasedStableIn-placeMerging
amv:RatioBasedStableIn-placeMerging rdf:type owl:NamedIndividual ;
                                    terms:creator amv:ArneKutzner ,
                                                  amv:PokSonKim ;
                                    terms:created "2008-01-01T00:00:00"^^rdfs:Literal ;
                                    terms:identifier "http://itbe.hanyang.ac.kr/ak/papers/tamc2008.pdf"^^rdfs:Literal ;
                                    terms:title "Ratio based stable in-place merging"^^xsd:string .


###  https://w3id.org/amv#RecursiveAlgorithm
amv:RecursiveAlgorithm rdf:type owl:NamedIndividual ,
                                amv:AlgorithmicType ;
                       rdfs:comment """A simple recursive algorithm: (i) Solves the base cases directly; (ii) Recurs with a simpler subproblem; (iii) Does some extra work to convert the solution to the simpler subproblem into a solution to the given problem. 
It is called “simple” because several of the other algorithm types are inherently recursive. (source: https://www.cis.upenn.edu/~matuszek/cit594-2003/Lectures/35-algorithm-types.ppt)"""@en ;
                       rdfs:label "Recursive algorithm"@en ;
                       skos:AltLabel "Simple recursive algorithm"@en .


###  https://w3id.org/amv#RedHatLinux
amv:RedHatLinux rdf:type owl:NamedIndividual ,
                         schema:OperatingSystem .


###  https://w3id.org/amv#RichardEBellman
amv:RichardEBellman rdf:type owl:NamedIndividual ;
                    foaf:name "Richard E. Bellman"^^xsd:string .


###  https://w3id.org/amv#SelectionSort
amv:SelectionSort rdf:type owl:NamedIndividual ,
                           amv:Algorithm ;
                  amv:computesSolutionTo amv:Sorting ;
                  amv:dataStructureUsed amv:Array ;
                  amv:hasImplementation amv:SelectionSortImplementationInC ;
                  amv:hasSpaceComplexity amv:SelectionSortSpaceComplexity ;
                  amv:hasTimeComplexity amv:SelectionSortTimeComplexity ;
                  terms:description "Sorting Algorithm"^^xsd:string ;
                  terms:identifier "https://rosettacode.org/wiki/Sorting_algorithms/Selection_sort"^^rdfs:Literal ;
                  terms:title "Selection Sort"^^xsd:string .


###  https://w3id.org/amv#SelectionSortImplementationInC
amv:SelectionSortImplementationInC rdf:type owl:NamedIndividual ;
                                   terms:identifier "https://en.wikipedia.org/wiki/Selection_sort#Implementations"^^rdfs:Literal ;
                                   terms:title "Selection Sort Implementation In C"^^xsd:string .


###  https://w3id.org/amv#SelectionSortSpaceComplexity
amv:SelectionSortSpaceComplexity rdf:type owl:NamedIndividual ;
                                 amv:worstCaseSpaceComplexity "O(1)"^^xsd:string .


###  https://w3id.org/amv#SelectionSortTimeComplexity
amv:SelectionSortTimeComplexity rdf:type owl:NamedIndividual ;
                                amv:averageTimeComplexity "O(n^^2)"^^xsd:string ;
                                amv:bestCaseTimeComplexity "O(n^^2)"^^xsd:string ;
                                amv:worstCaseTimeComplexity "O(n^^2)"^^xsd:string .


###  https://w3id.org/amv#SelmerMJohnson
amv:SelmerMJohnson rdf:type owl:NamedIndividual ,
                            foaf:Person .


###  https://w3id.org/amv#SequenceToSequenceLearningWithNeuralNetworks
amv:SequenceToSequenceLearningWithNeuralNetworks rdf:type owl:NamedIndividual .


###  https://w3id.org/amv#ShortestPathProblem
amv:ShortestPathProblem rdf:type owl:NamedIndividual ,
                                 amv:PolynomialTimeProblem ;
                        terms:title "Shortest path problem"^^xsd:string ;
                        rdfs:label "Shortest path problem"@en .


###  https://w3id.org/amv#SmoothSort
amv:SmoothSort rdf:type owl:NamedIndividual ,
                        amv:Algorithm ;
               terms:creator amv:EdsgerWDijkstra ;
               prov:wasDerivedFrom amv:HeapSort ;
               amv:computesSolutionTo amv:Sorting ;
               amv:dataStructureUsed amv:Array ;
               amv:hasSpaceComplexity amv:SmoothSortSpaceComplexity ;
               amv:hasTimeComplexity amv:SmoothSortTimeComplexity ;
               amv:pub_appearedIn amv:SmoothSortAlternativeForSortingInSitu ;
               terms:created "1981-01-01T00:00:00"^^rdfs:Literal ;
               terms:description "A comparison-based sorting algorithm."^^xsd:string ;
               terms:title "Smooth Sort"^^xsd:string .


###  https://w3id.org/amv#SmoothSortAlternativeForSortingInSitu
amv:SmoothSortAlternativeForSortingInSitu rdf:type owl:NamedIndividual ;
                                          terms:creator amv:EdsgerWDijkstra ;
                                          terms:created "1981-01-01T00:00:00"^^rdfs:Literal ;
                                          terms:identifier "https://www.cs.utexas.edu/users/EWD/ewd07xx/EWD796a.PDF"^^rdfs:Literal ;
                                          terms:title "Smooth Sort: An Alternative For Sorting In Situ"^^xsd:string .


###  https://w3id.org/amv#SmoothSortSpaceComplexity
amv:SmoothSortSpaceComplexity rdf:type owl:NamedIndividual ;
                              amv:bestCaseSpaceComplexity "O(1)"^^xsd:string ;
                              amv:worstCaseSpaceComplexity "O(n)"^^xsd:string .


###  https://w3id.org/amv#SmoothSortTimeComplexity
amv:SmoothSortTimeComplexity rdf:type owl:NamedIndividual ;
                             amv:averageTimeComplexity "O(nlog n)"^^xsd:string ;
                             amv:bestCaseTimeComplexity "O(n)"^^xsd:string .


###  https://w3id.org/amv#Sorting
amv:Sorting rdf:type owl:NamedIndividual ,
                     amv:CombinatorialProblem ;
            terms:title "Sorting"^^xsd:string .


###  https://w3id.org/amv#Statistics
amv:Statistics rdf:type owl:NamedIndividual ,
                        amv:pub_Discipline .


###  https://w3id.org/amv#StuartLloyd
amv:StuartLloyd rdf:type owl:NamedIndividual ,
                         foaf:Person .


###  https://w3id.org/amv#TheoryOfSets
amv:TheoryOfSets rdf:type owl:NamedIndividual ,
                          amv:MathematicalProperties .


###  https://w3id.org/amv#TheoryOfStatisticsAndProbability
amv:TheoryOfStatisticsAndProbability rdf:type owl:NamedIndividual ,
                                              amv:MathematicalProperties .


###  https://w3id.org/amv#TimPeters
amv:TimPeters rdf:type owl:NamedIndividual ;
              foaf:name "Tim Peters"^^xsd:string .


###  https://w3id.org/amv#TimSort
amv:TimSort rdf:type owl:NamedIndividual ,
                     amv:Algorithm ;
            terms:creator amv:TimPeters ;
            prov:wasDerivedFrom amv:InsertionSort ,
                                amv:MergeSort ;
            amv:computesSolutionTo amv:Sorting ;
            amv:dataStructureUsed amv:Array ;
            amv:hasImplementation amv:TimSortImplementedInPython ;
            amv:hasSpaceComplexity amv:TimSortSpaceComplexity ;
            amv:hasTimeComplexity amv:TimSortTimeComplexity ;
            terms:created "2002-01-01T00:00:00"^^rdfs:Literal ;
            terms:description "Timsort is a hybrid stable sorting algorithm, derived from merge sort and insertion sort, designed to perform well on many kinds of real-world data."^^xsd:string ;
            terms:title "Tim Sort"^^xsd:string .


###  https://w3id.org/amv#TimSortImplementedInPython
amv:TimSortImplementedInPython rdf:type owl:NamedIndividual ;
                               amv:programmingLanguage amv:Python ;
                               terms:identifier "https://gist.github.com/nandajavarma/a3a6b62f34e74ec4c31674934327bbd3"^^rdfs:Literal ;
                               terms:title "Tim Sort Implemented In Python"^^xsd:string .


###  https://w3id.org/amv#TimSortSpaceComplexity
amv:TimSortSpaceComplexity rdf:type owl:NamedIndividual ;
                           amv:worstCaseSpaceComplexity "O(n)"^^xsd:string .


###  https://w3id.org/amv#TimSortTimeComplexity
amv:TimSortTimeComplexity rdf:type owl:NamedIndividual ;
                          amv:averageTimeComplexity "O(nlog n)"^^xsd:string ;
                          amv:bestCaseTimeComplexity "O(nlog n)"^^xsd:string ;
                          amv:worstCaseTimeComplexity "O(n)"^^xsd:string .


###  https://w3id.org/amv#TobiasDantzig
amv:TobiasDantzig rdf:type owl:NamedIndividual ,
                           foaf:Person .


###  https://w3id.org/amv#UndirectedGraph
amv:UndirectedGraph rdf:type owl:NamedIndividual ,
                             amv:DataStructure ;
                    prov:specializationOf amv:Graph .


###  https://w3id.org/amv#Unix
amv:Unix rdf:type owl:NamedIndividual ,
                  schema:OperatingSystem .


###  https://w3id.org/amv#UserQueryProcessing
amv:UserQueryProcessing rdf:type owl:NamedIndividual ,
                                 amv:PolynomialTimeProblem ;
                        amv:hasSubproblem amv:QueryProcessing .


###  https://w3id.org/amv#UserQueryProcessingAlgorithm
amv:UserQueryProcessingAlgorithm rdf:type owl:NamedIndividual ,
                                          amv:Algorithm ;
                                 amv:computesSolutionTo amv:UserQueryProcessing ;
                                 amv:hasSubalgorithm amv:QueryProcessingAlgorithm .


###  https://w3id.org/amv#VaughanPratt
amv:VaughanPratt rdf:type owl:NamedIndividual ,
                          foaf:Person .


###  https://w3id.org/amv#While
amv:While rdf:type owl:NamedIndividual ,
                   amv:LoopConstruct .


###  https://w3id.org/amv#WilliamWesleyPeterson
amv:WilliamWesleyPeterson rdf:type owl:NamedIndividual ,
                                   foaf:Person .


###  https://w3id.org/amv#n-bodyProblem
amv:n-bodyProblem rdf:type owl:NamedIndividual ,
                           amv:Problem ;
                  rdfs:comment "The n-body problem is the problem of predicting the individual motions of a group of celestial objects interacting with each other gravitationally."@en ;
                  rdfs:label "n-body problem"@en .


###  https://w3id.org/amv#tree
amv:tree rdf:type owl:NamedIndividual ,
                  amv:DataStructure .


###  https://w3id.org/amv#tuple
amv:tuple rdf:type owl:NamedIndividual ,
                   amv:DataStructure .


###  https://w3id.org/amv#1.0.0
<https://w3id.org/amv#1.0.0> rdf:type owl:NamedIndividual .


###  https://w3id.org/amv#A*Algorithm
<https://w3id.org/amv#A*Algorithm> rdf:type owl:NamedIndividual ,
                                            amv:Algorithm ;
                                   terms:hasVersion amv:DijkstrasAlgorithm ;
                                   terms:relation amv:BellmanFordAlgorithm ;
                                   amv:computesSolutionTo amv:ShortestPathProblem ;
                                   amv:dataStructureUsed amv:GraphDataStructure ;
                                   amv:hasSpaceComplexity <https://w3id.org/amv#A*SpaceComplexity> ;
                                   amv:hasTimeComplexity <https://w3id.org/amv#A*TimeComplexity> ;
                                   amv:pub_appearedIn amv:AFormalBasisForTheHeuristicDeterminationOfMinimumCostPaths ;
                                   terms:description "A* Algorithm is a graph traversal and path search algorithm, which is often used in many fields of computer science due to its completeness, optimality, and optimal efficiency."^^xsd:string ;
                                   terms:title "A* Algorithm"^^xsd:string .


###  https://w3id.org/amv#A*SpaceComplexity
<https://w3id.org/amv#A*SpaceComplexity> rdf:type owl:NamedIndividual ;
                                         amv:worstCaseSpaceComplexity "O(|V|)"^^xsd:string .


###  https://w3id.org/amv#A*TimeComplexity
<https://w3id.org/amv#A*TimeComplexity> rdf:type owl:NamedIndividual ;
                                        amv:worstCaseTimeComplexity "O(|E|)"^^xsd:string .


###  https://w3id.org/amv#Algorithm64:Quicksort
amv:Algorithm64:Quicksort rdf:type owl:NamedIndividual ;
                          terms:creator amv:CARHoare ;
                          terms:created "1961-01-01T00:00:00"^^rdfs:Literal ;
                          terms:identifier "https://doi.org/10.1145/366622.366644"^^rdfs:Literal ;
                          terms:title "Algorithm 64: Quicksort"^^xsd:string .


###  https://w3id.org/amv#At&TBellLaboratories
<https://w3id.org/amv#At&TBellLaboratories> rdf:type owl:NamedIndividual ,
                                                     foaf:Organization .


###  https://w3id.org/amv#BeadSort:ANaturalSortingAlgorithm
amv:BeadSort:ANaturalSortingAlgorithm rdf:type owl:NamedIndividual ;
                                      terms:creator amv:CristianSCalude ,
                                                    amv:JoshuaJArulanandham ,
                                                    amv:MichaelDinneen ;
                                      terms:created "2002-01-01T00:00:00"^^rdfs:Literal ;
                                      terms:identifier "https://web.archive.org/web/20170809110409/https://www.cs.auckland.ac.nz/~jaru003/research/publications/journals/beadsort.pdf"^^rdfs:Literal ;
                                      terms:title "Bead–Sort: A Natural Sorting Algorithm"^^xsd:string .


###  https://w3id.org/amv#C++
<https://w3id.org/amv#C++> rdf:type owl:NamedIndividual ,
                                    amv:ProgrammingLanguage .


###  https://www.isibang.ac.in/ns/GeneralAlgebra
<https://www.isibang.ac.in/ns/GeneralAlgebra> rdf:type owl:NamedIndividual ,
                                                       amv:MathematicalProperties .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi