Skip to content

Deterministic Finite Automata Ontology

This page is not normative

This page is not considered a core part of the Vultron Protocol as proposed in the main documentation. Although within the page we might provide guidance in terms of SHOULD, MUST, etc., the content here is not normative.

We have developed a non-normative ontology that defines the parts of a Deterministic Finite Automata (DFA). The ontology is available in the ontology directory. This ontology is used to describe the DFAs that underpin the the Vultron protocol.

 

 

 

Markdown Ontology Documentation is Incomplete

While we have generated some markdown documentation based on the raw ontology files, the files themselves contain considerably more detail and structure than the markdown documentation.

Classes

DFA

Attribute Value
Name DFA
IRI http://www.cert.org/ns/deterministicfiniteautomata#DFA
Description
Equivalent To deterministicfiniteautomata.DeterministicFiniteAutomata
Superclasses owl.Thing

DeterministicFiniteAutomata

Attribute Value
Name DeterministicFiniteAutomata
IRI http://www.cert.org/ns/deterministicfiniteautomata#DeterministicFiniteAutomata
Description
Equivalent To deterministicfiniteautomata.hasTransition.some(deterministicfiniteautomata.Transition)
deterministicfiniteautomata.hasStartState.some(deterministicfiniteautomata.State)
deterministicfiniteautomata.hasInputSymbol.some(deterministicfiniteautomata.Symbol)
deterministicfiniteautomata.hasFinalState.some(deterministicfiniteautomata.State)
deterministicfiniteautomata.hasState.some(deterministicfiniteautomata.State)
Superclasses owl.Thing

State

Attribute Value
Name State
IRI http://www.cert.org/ns/deterministicfiniteautomata#State
Description
Superclasses owl.Thing

Symbol

Attribute Value
Name Symbol
IRI http://www.cert.org/ns/deterministicfiniteautomata#Symbol
Description
Superclasses owl.Thing

Transition

Attribute Value
Name Transition
IRI http://www.cert.org/ns/deterministicfiniteautomata#Transition
Description
Superclasses owl.Thing

Properties

fromState

Attribute Value
Name fromState
IRI http://www.cert.org/ns/deterministicfiniteautomata#fromState
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.Transition
Range deterministicfiniteautomata.State

hasFinalState

Attribute Value
Name hasFinalState
IRI http://www.cert.org/ns/deterministicfiniteautomata#hasFinalState
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.DeterministicFiniteAutomata
Range deterministicfiniteautomata.State

hasInputSymbol

Attribute Value
Name hasInputSymbol
IRI http://www.cert.org/ns/deterministicfiniteautomata#hasInputSymbol
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.DeterministicFiniteAutomata
Range deterministicfiniteautomata.Symbol

hasStartState

Attribute Value
Name hasStartState
IRI http://www.cert.org/ns/deterministicfiniteautomata#hasStartState
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.DeterministicFiniteAutomata
Range deterministicfiniteautomata.State

hasState

Attribute Value
Name hasState
IRI http://www.cert.org/ns/deterministicfiniteautomata#hasState
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.DeterministicFiniteAutomata
Range deterministicfiniteautomata.State

hasTransition

Attribute Value
Name hasTransition
IRI http://www.cert.org/ns/deterministicfiniteautomata#hasTransition
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.DeterministicFiniteAutomata
Range deterministicfiniteautomata.Transition

isFinalStateOf

Attribute Value
Name isFinalStateOf
IRI http://www.cert.org/ns/deterministicfiniteautomata#isFinalStateOf
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.State
Range deterministicfiniteautomata.DeterministicFiniteAutomata

isInputSymbolOf

Attribute Value
Name isInputSymbolOf
IRI http://www.cert.org/ns/deterministicfiniteautomata#isInputSymbolOf
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.Symbol
Range deterministicfiniteautomata.DeterministicFiniteAutomata

isStartStateOf

Attribute Value
Name isStartStateOf
IRI http://www.cert.org/ns/deterministicfiniteautomata#isStartStateOf
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.State
Range deterministicfiniteautomata.DeterministicFiniteAutomata

isStateOf

Attribute Value
Name isStateOf
IRI http://www.cert.org/ns/deterministicfiniteautomata#isStateOf
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.State
Range deterministicfiniteautomata.DeterministicFiniteAutomata

isTransitionOf

Attribute Value
Name isTransitionOf
IRI http://www.cert.org/ns/deterministicfiniteautomata#isTransitionOf
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.Transition
Range deterministicfiniteautomata.DeterministicFiniteAutomata

onSymbol

Attribute Value
Name onSymbol
IRI http://www.cert.org/ns/deterministicfiniteautomata#onSymbol
Description
Equivalent To deterministicfiniteautomata.triggeredBy
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.Transition
Range deterministicfiniteautomata.Symbol

toState

Attribute Value
Name toState
IRI http://www.cert.org/ns/deterministicfiniteautomata#toState
Description
Superclasses owl.ObjectProperty
owl.topObjectProperty
Domain deterministicfiniteautomata.Transition
Range deterministicfiniteautomata.State

triggerOf

Attribute Value
Name triggerOf
IRI http://www.cert.org/ns/deterministicfiniteautomata#triggerOf
Description
Superclasses owl.ObjectProperty
Domain deterministicfiniteautomata.Symbol
Range deterministicfiniteautomata.Transition

triggeredBy

Attribute Value
Name triggeredBy
IRI http://www.cert.org/ns/deterministicfiniteautomata#triggeredBy
Description
Superclasses owl.ObjectProperty

Protégé

We recommend using the Protégé ontology editor to view and edit the ontology files.

@prefix : <http://www.cert.org/ns/deterministicfiniteautomata#> .
@prefix dfa: <http://www.cert.org/ns/deterministicfiniteautomata#> .
@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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.cert.org/ns/deterministicfiniteautomata> .

<http://www.cert.org/ns/deterministicfiniteautomata> rdf:type owl:Ontology .

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

###  http://www.cert.org/ns/deterministicfiniteautomata#fromState
dfa:fromState rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf owl:topObjectProperty ;
              rdfs:domain dfa:Transition ;
              rdfs:range dfa:State .


###  http://www.cert.org/ns/deterministicfiniteautomata#hasFinalState
dfa:hasFinalState rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf owl:topObjectProperty ;
                  rdfs:domain dfa:DeterministicFiniteAutomata ;
                  rdfs:range dfa:State .


###  http://www.cert.org/ns/deterministicfiniteautomata#hasInputSymbol
dfa:hasInputSymbol rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf owl:topObjectProperty ;
                   owl:inverseOf dfa:isInputSymbolOf ;
                   rdfs:domain dfa:DeterministicFiniteAutomata ;
                   rdfs:range dfa:Symbol .


###  http://www.cert.org/ns/deterministicfiniteautomata#hasStartState
dfa:hasStartState rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf owl:topObjectProperty ;
                  owl:inverseOf dfa:isStartStateOf ;
                  rdfs:domain dfa:DeterministicFiniteAutomata ;
                  rdfs:range dfa:State .


###  http://www.cert.org/ns/deterministicfiniteautomata#hasState
dfa:hasState rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf owl:topObjectProperty ;
             owl:inverseOf dfa:isStateOf ;
             rdfs:domain dfa:DeterministicFiniteAutomata ;
             rdfs:range dfa:State .


###  http://www.cert.org/ns/deterministicfiniteautomata#hasTransition
dfa:hasTransition rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf owl:topObjectProperty ;
                  owl:inverseOf dfa:isTransitionOf ;
                  rdfs:domain dfa:DeterministicFiniteAutomata ;
                  rdfs:range dfa:Transition .


###  http://www.cert.org/ns/deterministicfiniteautomata#isFinalStateOf
dfa:isFinalStateOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf owl:topObjectProperty ;
                   rdfs:domain dfa:State ;
                   rdfs:range dfa:DeterministicFiniteAutomata .


###  http://www.cert.org/ns/deterministicfiniteautomata#isInputSymbolOf
dfa:isInputSymbolOf rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf owl:topObjectProperty ;
                    rdfs:domain dfa:Symbol ;
                    rdfs:range dfa:DeterministicFiniteAutomata .


###  http://www.cert.org/ns/deterministicfiniteautomata#isStartStateOf
dfa:isStartStateOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf owl:topObjectProperty ;
                   rdfs:domain dfa:State ;
                   rdfs:range dfa:DeterministicFiniteAutomata .


###  http://www.cert.org/ns/deterministicfiniteautomata#isStateOf
dfa:isStateOf rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf owl:topObjectProperty ;
              rdfs:domain dfa:State ;
              rdfs:range dfa:DeterministicFiniteAutomata .


###  http://www.cert.org/ns/deterministicfiniteautomata#isTransitionOf
dfa:isTransitionOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf owl:topObjectProperty ;
                   rdfs:domain dfa:Transition ;
                   rdfs:range dfa:DeterministicFiniteAutomata .


###  http://www.cert.org/ns/deterministicfiniteautomata#onSymbol
dfa:onSymbol rdf:type owl:ObjectProperty ;
             owl:equivalentProperty dfa:triggeredBy ;
             rdfs:subPropertyOf owl:topObjectProperty ;
             owl:inverseOf dfa:triggerOf ;
             rdfs:domain dfa:Transition ;
             rdfs:range dfa:Symbol .


###  http://www.cert.org/ns/deterministicfiniteautomata#toState
dfa:toState rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf owl:topObjectProperty ;
            rdfs:domain dfa:Transition ;
            rdfs:range dfa:State .


###  http://www.cert.org/ns/deterministicfiniteautomata#triggerOf
dfa:triggerOf rdf:type owl:ObjectProperty ;
              rdfs:domain dfa:Symbol ;
              rdfs:range dfa:Transition .


###  http://www.cert.org/ns/deterministicfiniteautomata#triggeredBy
dfa:triggeredBy rdf:type owl:ObjectProperty .


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

###  http://www.cert.org/ns/deterministicfiniteautomata#DFA
dfa:DFA rdf:type owl:Class ;
        owl:equivalentClass dfa:DeterministicFiniteAutomata .


###  http://www.cert.org/ns/deterministicfiniteautomata#DeterministicFiniteAutomata
dfa:DeterministicFiniteAutomata rdf:type owl:Class ;
                                owl:equivalentClass [ rdf:type owl:Restriction ;
                                                      owl:onProperty dfa:hasFinalState ;
                                                      owl:someValuesFrom dfa:State
                                                    ] ,
                                                    [ rdf:type owl:Restriction ;
                                                      owl:onProperty dfa:hasInputSymbol ;
                                                      owl:someValuesFrom dfa:Symbol
                                                    ] ,
                                                    [ rdf:type owl:Restriction ;
                                                      owl:onProperty dfa:hasStartState ;
                                                      owl:someValuesFrom dfa:State
                                                    ] ,
                                                    [ rdf:type owl:Restriction ;
                                                      owl:onProperty dfa:hasState ;
                                                      owl:someValuesFrom dfa:State
                                                    ] ,
                                                    [ rdf:type owl:Restriction ;
                                                      owl:onProperty dfa:hasTransition ;
                                                      owl:someValuesFrom dfa:Transition
                                                    ] .


###  http://www.cert.org/ns/deterministicfiniteautomata#State
dfa:State rdf:type owl:Class .


###  http://www.cert.org/ns/deterministicfiniteautomata#Symbol
dfa:Symbol rdf:type owl:Class .


###  http://www.cert.org/ns/deterministicfiniteautomata#Transition
dfa:Transition rdf:type owl:Class .


###  Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi