@prefix : <https://w3id.org/halo#> .
@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 <https://w3id.org/halo#> .

<https://w3id.org/halo#> rdf:type owl:Ontology ;
                          owl:versionIRI <https://w3id.org/halo#> ;
                          <http://purl.org/dc/elements/1.1/creator> "Navapat Nananukul" ;
                          <http://purl.org/dc/elements/1.1/description> "-"@en ;
                          <http://purl.org/dc/elements/1.1/license> <https://creativecommons.org/licenses/by/4.0/> ;
                          <http://purl.org/dc/elements/1.1/title> "HALO: An Ontology for Representing Hallucinations in Generative Models"@en ;
                          <http://purl.org/vocab/vann/preferredNamespacePrefix> "choosenprefix" ;
                          <http://purl.org/vocab/vann/preferredNamespaceUri> <https://w3id.org/halo#> ;
                          owl:versionInfo "0.0.1" ;
                          <https://w3id.org/mod#createdWith> <https://chowlk.linkeddata.es/> .

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

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


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


###  http://purl.org/dc/elements/1.1/license
<http://purl.org/dc/elements/1.1/license> rdf:type owl:AnnotationProperty .


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


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


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


###  http://www.w3.org/2002/07/owl#versionIRI
owl:versionIRI rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2002/07/owl#versionInfo
owl:versionInfo rdf:type owl:AnnotationProperty .


###  https://w3id.org/example#associatedWithAnswer
<https://w3id.org/example#associatedWithAnswer> rdf:type owl:AnnotationProperty .


###  https://w3id.org/example#isGeneratedBy
<https://w3id.org/example#isGeneratedBy> rdf:type owl:AnnotationProperty .


###  https://w3id.org/mod#createdWith
<https://w3id.org/mod#createdWith> rdf:type owl:AnnotationProperty .


#################################################################
#    Datatypes
#################################################################

###  http://www.w3.org/2001/XMLSchema#date
xsd:date rdf:type rdfs:Datatype .


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

###  https://w3id.org/halo/hallucination#contextInconsistencyOn
<https://w3id.org/halo/hallucination#contextInconsistencyOn> rdf:type owl:ObjectProperty ;
                                                             rdfs:domain <http://w3id.org/halo/hallucination#contextInconsistency> ;
                                                             rdfs:range <https://schema.org/DefinedTerm> ,
                                                                        <https://schema.org/ScholarlyArticle> ,
                                                                        <https://schema.org/SolveMathAction> ,
                                                                        <https://schema.org/WebSite> .


###  https://w3id.org/halo/hallucination#factualFabricateOn
<https://w3id.org/halo/hallucination#factualFabricateOn> rdf:type owl:ObjectProperty ;
                                                         rdfs:domain <http://w3id.org/halo/hallucination#factualFabrication> ;
                                                         rdfs:range <http://xmlns.com/foaf/0.1/Person> ,
                                                                    <https://schema.org/Article> ,
                                                                    <https://schema.org/Book> ,
                                                                    <https://schema.org/Date> ,
                                                                    <https://schema.org/DefinedTerm> ,
                                                                    <https://schema.org/Movie> ,
                                                                    <https://schema.org/ScholarlyArticle> ,
                                                                    <https://schema.org/ShortStory> ,
                                                                    <https://schema.org/actor> .


###  https://w3id.org/halo/hallucination#factualInconsistencyOn
<https://w3id.org/halo/hallucination#factualInconsistencyOn> rdf:type owl:ObjectProperty ;
                                                             rdfs:domain <http://w3id.org/halo/hallucination#factualInconsistency> ;
                                                             rdfs:range <http://xmlns.com/foaf/0.1/Person> ,
                                                                        <https://schema.org/Article> ,
                                                                        <https://schema.org/Book> ,
                                                                        <https://schema.org/Date> ,
                                                                        <https://schema.org/DefinedTerm> ,
                                                                        <https://schema.org/Movie> ,
                                                                        <https://schema.org/ScholarlyArticle> ,
                                                                        <https://schema.org/ShortStory> ,
                                                                        <https://schema.org/actor> .


###  https://w3id.org/halo/hallucination#instructionInconsistency
<https://w3id.org/halo/hallucination#instructionInconsistency> rdf:type owl:ObjectProperty ;
                                                               rdfs:domain <http://w3id.org/halo/hallucination#instructionInconsistency> ;
                                                               rdfs:range <https://schema.org/WebSite> .


###  https://w3id.org/halo/hallucination#logicalInconsistencyOn
<https://w3id.org/halo/hallucination#logicalInconsistencyOn> rdf:type owl:ObjectProperty ;
                                                             rdfs:domain <https://schema.org/DefinedTerm> ;
                                                             rdfs:range <https://schema.org/Number> ,
                                                                        <https://schema.org/SolveMathAction> ,
                                                                        <https://schema.org/character> .


###  https://w3id.org/halo/metadata#associatedWithAnswer
<https://w3id.org/halo/metadata#associatedWithAnswer> rdf:type owl:ObjectProperty ;
                                                      rdfs:domain <http://w3id.org/halo/metadata#prompts> ;
                                                      rdfs:range <http://w3id.org/halo/metadata#answers> .


###  https://w3id.org/halo/metadata#hallucinationGeneratedBy
<https://w3id.org/halo/metadata#hallucinationGeneratedBy> rdf:type owl:ObjectProperty ;
                                                          rdfs:domain <http://w3id.org/halo/hallucination#contextInconsistency> ,
                                                                      <http://w3id.org/halo/hallucination#factualFabrication> ,
                                                                      <http://w3id.org/halo/hallucination#factualInconsistency> ,
                                                                      <http://w3id.org/halo/hallucination#factualityHallucination> ,
                                                                      <http://w3id.org/halo/hallucination#faithfulnessHallucination> ,
                                                                      <http://w3id.org/halo/hallucination#instructionInconsistency> ,
                                                                      <http://w3id.org/halo/hallucination#logicalInconsistency> ;
                                                          rdfs:range <http://w3id.org/halo/metadata#answers> ;
                                                          rdfs:label "hallucination generated by" .


###  https://w3id.org/halo/metadata#isGeneratedBy
<https://w3id.org/halo/metadata#isGeneratedBy> rdf:type owl:ObjectProperty ;
                                               rdfs:domain <http://w3id.org/halo/metadata#answers> ;
                                               rdfs:range <http://w3id.org/halo/metadata#largeLanguageModel> .


###  https://w3id.org/halo/metadata#wasAskedBy
<https://w3id.org/halo/metadata#wasAskedBy> rdf:type owl:ObjectProperty ;
                                            rdfs:label "was asked by" .


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

###  https://w3id.org/halo/metadata#aiName
<https://w3id.org/halo/metadata#aiName> rdf:type owl:DatatypeProperty ;
                                        rdfs:domain <http://w3id.org/halo/metadata#generativeAI> ;
                                        rdfs:range xsd:string ;
                                        rdfs:label "ai name" .


###  https://w3id.org/halo/metadata#collectedOn
<https://w3id.org/halo/metadata#collectedOn> rdf:type owl:DatatypeProperty ;
                                             rdfs:domain <http://w3id.org/halo/metadata#prompts> ;
                                             rdfs:range xsd:date ;
                                             rdfs:label "collected on" .


###  https://w3id.org/halo/metadata#domain
<https://w3id.org/halo/metadata#domain> rdf:type owl:DatatypeProperty ;
                                        rdfs:domain <http://w3id.org/halo/metadata#generativeAI> ;
                                        rdfs:range xsd:string ;
                                        rdfs:label "domain" .


###  https://w3id.org/halo/metadata#hasAnswerDate
<https://w3id.org/halo/metadata#hasAnswerDate> rdf:type owl:DatatypeProperty ;
                                               rdfs:domain <http://w3id.org/halo/metadata#answers> ;
                                               rdfs:range xsd:date ;
                                               rdfs:label "has answer date" .


###  https://w3id.org/halo/metadata#hasAnswerID
<https://w3id.org/halo/metadata#hasAnswerID> rdf:type owl:DatatypeProperty ;
                                             rdfs:domain <http://w3id.org/halo/metadata#answers> ;
                                             rdfs:range xsd:int ;
                                             rdfs:label "has answer i d" .


###  https://w3id.org/halo/metadata#hasPromptId
<https://w3id.org/halo/metadata#hasPromptId> rdf:type owl:DatatypeProperty ;
                                             rdfs:domain <http://w3id.org/halo/metadata#prompts> ;
                                             rdfs:range xsd:int ;
                                             rdfs:label "has prompt id" .


###  https://w3id.org/halo/metadata#hasSource
<https://w3id.org/halo/metadata#hasSource> rdf:type owl:DatatypeProperty ;
                                           rdfs:domain <http://w3id.org/halo/metadata#prompts> ;
                                           rdfs:range xsd:string ;
                                           rdfs:label "has source" .


###  https://w3id.org/halo/metadata#model
<https://w3id.org/halo/metadata#model> rdf:type owl:DatatypeProperty ;
                                       rdfs:domain <http://w3id.org/halo/metadata#largeLanguageModel> ;
                                       rdfs:range xsd:string ;
                                       rdfs:label "model" .


###  https://w3id.org/halo/metadata#modelName
<https://w3id.org/halo/metadata#modelName> rdf:type owl:DatatypeProperty ;
                                           rdfs:domain <http://w3id.org/halo/metadata#largeLanguageModel> ;
                                           rdfs:range xsd:string ;
                                           rdfs:label "model name" .


###  https://w3id.org/halo/metadata#type
<https://w3id.org/halo/metadata#type> rdf:type owl:DatatypeProperty ;
                                      rdfs:domain <http://w3id.org/halo/metadata#generativeAI> ;
                                      rdfs:range xsd:string ;
                                      rdfs:label "type" .


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

###  http://w3id.org/halo/hallucination#LLMsHallucination
<http://w3id.org/halo/hallucination#LLMsHallucination> rdf:type owl:Class ;
                                                       rdfs:label "L L Ms Hallucination" .


###  http://w3id.org/halo/hallucination#contextInconsistency
<http://w3id.org/halo/hallucination#contextInconsistency> rdf:type owl:Class ;
                                                          rdfs:subClassOf <http://w3id.org/halo/hallucination#faithfulnessHallucination> ;
                                                          rdfs:label "context Inconsistency" .


###  http://w3id.org/halo/hallucination#factualFabrication
<http://w3id.org/halo/hallucination#factualFabrication> rdf:type owl:Class ;
                                                        rdfs:subClassOf <http://w3id.org/halo/hallucination#factualityHallucination> ;
                                                        rdfs:label "Factual Fabrication" .


###  http://w3id.org/halo/hallucination#factualInconsistency
<http://w3id.org/halo/hallucination#factualInconsistency> rdf:type owl:Class ;
                                                          rdfs:subClassOf <http://w3id.org/halo/hallucination#factualityHallucination> ;
                                                          rdfs:label "factual Inconsistency" .


###  http://w3id.org/halo/hallucination#factualityHallucination
<http://w3id.org/halo/hallucination#factualityHallucination> rdf:type owl:Class ;
                                                             rdfs:subClassOf <http://w3id.org/halo/hallucination#LLMsHallucination> ;
                                                             rdfs:label "factuality Hallucination" .


###  http://w3id.org/halo/hallucination#faithfulnessHallucination
<http://w3id.org/halo/hallucination#faithfulnessHallucination> rdf:type owl:Class ;
                                                               rdfs:subClassOf <http://w3id.org/halo/hallucination#LLMsHallucination> ;
                                                               rdfs:label "faithfulness Hallucination" .


###  http://w3id.org/halo/hallucination#instructionInconsistency
<http://w3id.org/halo/hallucination#instructionInconsistency> rdf:type owl:Class ;
                                                              rdfs:subClassOf <http://w3id.org/halo/hallucination#faithfulnessHallucination> ;
                                                              rdfs:label "instruction Inconsistency" .


###  http://w3id.org/halo/hallucination#logicalInconsistency
<http://w3id.org/halo/hallucination#logicalInconsistency> rdf:type owl:Class ;
                                                          rdfs:subClassOf <http://w3id.org/halo/hallucination#faithfulnessHallucination> ;
                                                          rdfs:label "logical Inconsistency" .


###  http://w3id.org/halo/metadata#answers
<http://w3id.org/halo/metadata#answers> rdf:type owl:Class ;
                                        rdfs:label "answers" .


###  http://w3id.org/halo/metadata#generativeAI
<http://w3id.org/halo/metadata#generativeAI> rdf:type owl:Class ;
                                             rdfs:label "generative A I" .


###  http://w3id.org/halo/metadata#largeLanguageModel
<http://w3id.org/halo/metadata#largeLanguageModel> rdf:type owl:Class ;
                                                   rdfs:subClassOf <http://w3id.org/halo/metadata#generativeAI> ;
                                                   rdfs:label "large Language Model" .


###  http://w3id.org/halo/metadata#prompts
<http://w3id.org/halo/metadata#prompts> rdf:type owl:Class ;
                                        rdfs:label "prompts" .


###  http://xmlns.com/foaf/0.1/Person
<http://xmlns.com/foaf/0.1/Person> rdf:type owl:Class .


###  https://schema.org/Article
<https://schema.org/Article> rdf:type owl:Class .


###  https://schema.org/Book
<https://schema.org/Book> rdf:type owl:Class .


###  https://schema.org/Date
<https://schema.org/Date> rdf:type owl:Class .


###  https://schema.org/DefinedTerm
<https://schema.org/DefinedTerm> rdf:type owl:Class .


###  https://schema.org/Movie
<https://schema.org/Movie> rdf:type owl:Class .


###  https://schema.org/Number
<https://schema.org/Number> rdf:type owl:Class .


###  https://schema.org/ScholarlyArticle
<https://schema.org/ScholarlyArticle> rdf:type owl:Class .


###  https://schema.org/ShortStory
<https://schema.org/ShortStory> rdf:type owl:Class .


###  https://schema.org/SolveMathAction
<https://schema.org/SolveMathAction> rdf:type owl:Class .


###  https://schema.org/WebSite
<https://schema.org/WebSite> rdf:type owl:Class .


###  https://schema.org/actor
<https://schema.org/actor> rdf:type owl:Class .


###  https://schema.org/character
<https://schema.org/character> rdf:type owl:Class .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( <http://w3id.org/halo/hallucination#LLMsHallucination>
                <http://w3id.org/halo/metadata#answers>
                <http://w3id.org/halo/metadata#generativeAI>
                <http://w3id.org/halo/metadata#prompts>
                <http://xmlns.com/foaf/0.1/Person>
                <https://schema.org/Article>
                <https://schema.org/Book>
                <https://schema.org/Date>
                <https://schema.org/Movie>
                <https://schema.org/ScholarlyArticle>
                <https://schema.org/ShortStory>
                <https://schema.org/actor>
              )
] .


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( <http://w3id.org/halo/metadata#prompts>
                <https://schema.org/DefinedTerm>
                <https://schema.org/Number>
                <https://schema.org/SolveMathAction>
                <https://schema.org/WebSite>
                <https://schema.org/character>
              )
] .


###  Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/