Automatic Control Knowledge Repository

You currently have javascript disabled. Some features will be unavailable. Please consider enabling javascript.

Search entities in ontology

CTRL + SPACE will take you to the PyIRK entity search field.


Search the PyIRK entities for an item / a relation and use it in the SPARQL query

Use UP and DOWN to navigate and ENTER to select.

PREFIX : <irk:/builtins#>
PREFIX ocse: <irk:/ocse/0.2/control_theory#>
PREFIX ack: <irk:/ackrep#>
SELECT ?s
WHERE {
    ?s ocse:R8303__has_general_system_property ocse:I7733__time_invariance.
}

Help and Examples for SPARQL Syntax: [ / ] SPARQL queries can be read as a very simple sentence of subject, predicate (sometimes a auxiliary verb such as "has" or "is" is implied), object. E.g. SELECT ?book WHERE { ?book has_author MarkTwain. } selects all books of the author Mark Twain existing in the database. Depending on where the subject, predicate or object is defined, different prefixes have to be prepended (e.g. "rdf:", "rdfs:" for general namespaces and "P:" for the ackrep-specific namespace). For a more detailed introduction to SPARQL Queries, see Wikidata SPARQL tutorial.

Some examples of usefull queries in the ackrep context:
Find the entity with a given key (e.g. UXMFA): PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?entity WHERE { ?entity ocse:R2950__has_corresponding_ackrep_key "UXMFA". }
Get all relations of all exising system models: PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?relation WHERE { ?entity ?relation ?o. ?entity :R4__is_instance_of ocse:I7641__general_system_model. } Get all relations that have a system model as first argument: PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?relation WHERE { ?relation :R8__has_domain_of_argument_1 ocse:I7641__general_system_model. } Note the difference between the two preceding queries!

Get all pyirk items: PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?item WHERE { ?item (:R4__is_instance_of|:R3__is_subclass_of)* :I1__general_item }
Some more useful and complex queries:
Find all system models that are represented by a partial differential equation: PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?entity WHERE { ?entity :R4__is_instance_of ocse:I7641__general_system_model. ?entity ocse:R2928__has_model_representation ?representation. ?representation :R4__is_instance_of ocse:I8063__partial_differential_equation. }
Find all system models that have system order of 3 and are autonomous PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?model WHERE { ?model ocse:R9125__has_input_dimension 0. ?model ocse:R2928__has_model_representation ?repr. ?repr ocse:R2112__has_state_dimension 3. }
Note: Tags of problems and solutions are depricated and will soon be implemented in pyirk.
Select all ackrep entities that use linear state feedback: PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?entity ?tag WHERE { ?entity ocse:R1070__has_old_tag ?tag. ?tag :R1__has_label "ocse:Linear_State_Feedback". }
Select all entites, that have both of the tags "Convergence_To_Desired_Trajectory" and "Trajectory_Generation": PREFIX : <irk:/builtins#> PREFIX ocse: <irk:/ocse/0.2/control_theory#> SELECT ?entity WHERE { ?entity ocse:R1070__has_old_tag ?tag1. ?entity ocse:R1070__has_old_tag ?tag2. ?tag1 :R1__has_label "ocse:Convergence_To_Desired_Trajectory". ?tag2 :R1__has_label "ocse:Trajectory_Generation". }

Results (31)

s
Model of buck-boost converter (OK5BV)
Model of furuta pendulum (AEYHV)
Model of pendubot (VVAHU)
Model of two mass floating bodies (AJ0PV)
Model of flyback converter (9TM8C)
Model of Heat Equation (1VY9F)
Model of boost converter (KAHFE)
Model of permanent magnet DC motor (IXSV2)
Model of roessler attractor (FD5RW)
Model of acrobot (5CVFG)
Model of linear transport system (IG3GA)
Model of buck converter (DFRJY)
Model of PVTOL with 2 forces (OHW5Z)
Model of ball beam (XHINE)
Model of inertia wheel pendulum (AVCTR)
Model of four-bar linkage (CK7EX)
Model of tora (BZJ3K)
Model of kapitza's pendulum (U6B7N)
Model of winkler system (JPCL5)
Model of triple pendulum (HBWN5)
Model of lorenz system (UXMFA)
Model of double crane (IMLSG)
Model of cartpole system (BID9I)
Model of ball in tube (SRSTF)
Model of lotka volterra (DRZGT)
Model of wave equation 1D (IKNYP)
['Ia8625', rdflib.term.Literal('testsysti', lang='en')]
['Ia48047', rdflib.term.Literal('sys', lang='en')]
['Ia60799', rdflib.term.Literal('sys', lang='en')]
['Ia75677', rdflib.term.Literal('testsystipoly', lang='en')]
['Ia90177', rdflib.term.Literal('testsyslti', lang='en')]