Add d3f:unloads property and associated module system calls #244
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
netfl0
reviewed
May 7, 2024
| rdfs:subClassOf :SystemCall, | ||
| [ a owl:Restriction ; | ||
| owl:onProperty :unloads ; | ||
| owl:someValuesFrom [ a owl:Class ; |
There was a problem hiding this comment.
To follow the style we have been using, can you convert to two separate someValuesFrom restrictions?
There was a problem hiding this comment.
Sure--if it's semantically equivalent in this case. The intention is to create a logical OR. PR updated.
…unloading modules
aamedina
force-pushed
the
aamedina/issue-230
branch
from
50eb68b
to
b6f7b2d
Compare
Closed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Addresses #230
This pull request introduces a new
d3f:unloadsproperty and adds related system call definitions to the ontology for handling the loading and unloading of modules, specifically targeting operations in a computer's memory.Key changes include:
New Object Property: The
d3f:unloadsis added as an object property, defined as a technique or artifact that performs the action of unloading artifacts like kernel modules, or hardware drivers from a computer's memory.New Classes:
LinuxDeleteModule: Represents a system call to remove an unused loadable kernel module. It includes an exit function executed prior to the module's unloading.LinuxInitModule: Describes a system call that loads an ELF image into kernel space and initializes module parameters.LoadModuleandUnloadModule: Define system calls for loading and unloading drivers or extensions into/from the kernel.API Definitions:
OSAPILoadModuleandOSAPIUnloadModule: Classes are defined to represent the operating system API functions that facilitate module loading and unloading.