UKO Java Vocabulary
type: Ontology
comment: Layer 3 technology vocabulary for Java.

JavaClass
type: Class
subclass of: Class
comment: A Java class definition — extends uko-oo:Class. Includes final/abstract/sealed modifiers and annotations.

JavaInterface
type: Class
subclass of: Interface
comment: A Java interface — extends uko-oo:Interface. Includes sealed permits and default method support.

JavaMethod
type: Class
subclass of: Method
comment: A Java method — extends uko-oo:Method. Includes annotations, checked exceptions, and modifiers.

JavaAnnotation
type: Class
subclass of: TypeDefinition
comment: A Java annotation entry (@Override, @Deprecated, custom). Records annotation name and parameters.

JavaCheckedException
type: Class
subclass of: TypeDefinition
comment: A checked exception declaration in a method's throws clause. Records the exception class and any conditions.

packageVisibility
type: DatatypeProperty
domain: JavaClass
domain: JavaInterface
domain: JavaMethod
range: string
comment: Package-level visibility modifier: 'public', 'protected', 'package-private' (default), 'private'.

isFinal
type: DatatypeProperty
domain: JavaClass
domain: JavaMethod
range: boolean
comment: Whether this class/method is marked 'final'.

isAbstract
type: DatatypeProperty
domain: JavaClass
domain: JavaMethod
range: boolean
comment: Whether this class/method is marked 'abstract'.

isSealed
type: DatatypeProperty
domain: JavaClass
domain: JavaInterface
range: boolean
comment: Whether this class/interface is marked 'sealed'.

hasAnnotation
type: ObjectProperty
domain: JavaClass
domain: JavaInterface
domain: JavaMethod
range: JavaAnnotation
comment: Links a class/method to its Java annotations.

annotationName
type: DatatypeProperty
domain: JavaAnnotation
range: string
comment: The fully-qualified name of the annotation (e.g. 'java.lang.Override').

throwsException
type: ObjectProperty
domain: JavaMethod
range: JavaCheckedException
comment: Links a method to its checked exception declarations.

exceptionClass
type: DatatypeProperty
domain: JavaCheckedException
range: string
comment: Fully-qualified class name of the checked exception.