METAA Meta-model for Semantic Knowledge Representation

Metadata

IRI: https://w3id.org/meta#
Title: META

A Meta-model for Semantic Knowledge Representation
Publisher: Khaos Research Group
Date Created: 2023-10-19T23:59:59
Date Modified: 2023-10-27T23:59:59
Date Issued: 2023-10-15T23:59:59
Rights: (c) Khaos Research Group, University of Málaga
Version Iri: https://w3id.org/meta#/1.0.0
Version Info: v1.0.0
Preferred Namespace Prefix: meta
Preferred Namespace Uri: meta:
Description: A Meta-model for Semantic Knowledge Representation

Classes

All Values ^c

IRI	`https://w3id.org/meta#AllValues`
Sub Class Of	Value Restriction ^c
In Domain Of	meta:allValuesFrom ^op
Restriction	meta:allValuesFrom ^op exactly 1 meta:onProperty ^op exactly 1

Antecedent ^c

IRI	`https://w3id.org/meta#Antecedent`
Description	The antecedent (condition) of a rule.
Sub Class Of	Rule Part ^c
In Domain Of	meta:isAntecedentOf ^op
In Range Of	meta:hasAntecedent ^op
Restriction	meta:hasAtom ^op some

Argument ^c

IRI	`https://w3id.org/meta#Argument`
Sub Class Of	Rule Part ^c
In Domain Of	meta:name ^dp
In Range Of	meta:hasArgument ^op

Atom ^c

IRI	`https://w3id.org/meta#Atom`
Description	Atoms may refer to individuals, data literals, individual variables or data variables.
Sub Class Of	Rule Part ^c
In Domain Of	meta:isAtomOf ^op
In Range Of	meta:hasAtom ^op
Super Class Of	Built-in Atom ^c Class Atom ^c Data Property Atom ^c Individual Identity Atom ^c Object Property Atom ^c

Built-in ^c

IRI	`https://w3id.org/meta#BuiltIn`
Sub Class Of	Ontology Element ^c
In Range Of	meta:hasBuiltInExpression ^op

Built-in Atom ^c

IRI	`https://w3id.org/meta#BuiltInAtom`
Description	Built-In Atom, e.g. swrlb:greaterThan(?age, 17)
Sub Class Of	meta:Atom ^c
In Domain Of	meta:hasBuiltInExpression ^op
Super Class Of	Greater Than Built-in Atom ^c Lower Than Built-in Atom ^c

Class Atom ^c

IRI	`https://w3id.org/meta#ClassAtom`
Description	Class atom, e.g, Person(?x)
Sub Class Of	meta:Atom ^c
In Domain Of	meta:hasClassPredicate ^op
Restriction	meta:hasArgument ^op exactly 1 meta:hasClassPredicate ^op exactly 1

Class Description ^c

IRI	`https://w3id.org/meta#ClassDescription`
Sub Class Of	Ontology Element ^c
In Domain Of	meta:disjointWith ^op meta:equivalentClass ^op meta:subClassOf ^op
In Range Of	meta:allValuesFrom ^op meta:complementOf ^op meta:disjointWith ^op meta:domain ^op meta:equivalentClass ^op meta:hasClassPredicate ^op meta:hasValue ^op meta:intersectionOf ^op meta:onClass ^op meta:range ^op meta:someValues ^op meta:subClassOf ^op meta:type ^op meta:unionOf ^op
Super Class Of	Complement Of ^c Intersection Of ^c Named Class ^c Union Of ^c Value Restriction ^c

Complement Of ^c

IRI	`https://w3id.org/meta#ComplementOf`
Sub Class Of	Class Description ^c
In Domain Of	meta:complementOf ^op
Restriction	meta:complementOf ^op exactly 1

Consecuent ^c

IRI	`https://w3id.org/meta#Consecuent`
Description	The consequent of a rule.
Sub Class Of	Rule Part ^c
In Range Of	meta:hasConsequent ^op
Restriction	meta:hasAtom ^op some

Data Literal ^c

IRI	`https://w3id.org/meta#DataLiteral`
Sub Class Of	Rule Part ^c
In Domain Of	meta:dataValue ^dp
In Range Of	meta:hasDataLiteral ^op meta:withDataLiteral ^op

Data Property ^c

IRI	`https://w3id.org/meta#DataProperty`
Sub Class Of	meta:Property ^c
In Range Of	meta:hasDataPropertyPredicate ^op meta:onDataProperty ^op

Data Property Atom ^c

IRI	`https://w3id.org/meta#DataPropertyAtom`
Description	Data Property Atom, e.g. hasAge(?i1, 30)
Sub Class Of	meta:Atom ^c
In Domain Of	meta:hasDataPropertyPredicate ^op
Restriction	meta:hasArgument ^op exactly 1 meta:hasDataLiteral ^op exactly 1 meta:hasDataPropertyPredicate ^op exactly 1

Data Property fact ^c

IRI	`https://w3id.org/meta#DataPropertyFact`
Sub Class Of	meta:Fact ^c
In Domain Of	meta:onDataProperty ^op
Restriction	meta:onDataProperty ^op exactly 1 meta:onIndividual ^op exactly 1

Data Property Relation ^c

IRI	`https://w3id.org/meta#DataPropertyRelation`
Sub Class Of	Property Relation ^c
In Domain Of	meta:withDataLiteral ^op
Restriction	meta:byProperty ^op exactly 1 meta:withDataLiteral ^op exactly 1

Different Individual Atom ^c

IRI	`https://w3id.org/meta#DifferentIndividualAtom`
Description	Different Individuals Atom, e.g. differentFrom(?x,?y)
Sub Class Of	Individual Identity Atom ^c
Restriction	meta:hasBuiltInExpression ^op value meta:hasArgument1 ^op exactly 1 meta:hasArgument2 ^op exactly 1

Fact ^c

IRI	`https://w3id.org/meta#Fact`
In Range Of	meta:hasFact ^op
Super Class Of	Data Property fact ^c Object Property fact ^c

Greater Than Built-in Atom ^c

IRI	`https://w3id.org/meta#GreaterThanBuiltInAtom`
Description	Greater Than Built-in Atoms, e.g. swrlb:greaterThan
Sub Class Of	Built-in Atom ^c
Restriction	meta:hasBuiltInExpression ^op value meta:hasDataLiteral1 ^op exactly 1 meta:hasDataLiteral2 ^op exactly 1

Has Value ^c

IRI	`https://w3id.org/meta#HasValue`
Sub Class Of	Value Restriction ^c
In Domain Of	meta:hasValue ^op
Restriction	meta:hasValue ^op exactly 1 meta:onProperty ^op exactly 1

Individual ^c

IRI	`https://w3id.org/meta#Individual`
Description	Instance.
Sub Class Of	Ontology Element ^c
In Domain Of	meta:hasObjectPropertyRelation ^op meta:type ^op
In Range Of	meta:hasIndividual ^op meta:onIndividual ^op meta:withIndividual ^op

Individual Identity Atom ^c

IRI	`https://w3id.org/meta#IndividualIdentityAtom`
Sub Class Of	meta:Atom ^c
Super Class Of	Different Individual Atom ^c Same Individual Atom ^c

Intersection Of ^c

IRI	`https://w3id.org/meta#IntersectionOf`
Sub Class Of	Class Description ^c
In Domain Of	meta:intersectionOf ^op
Restriction	meta:intersectionOf ^op exactly 1 meta:onClass ^op exactly 1

Lower Than Built-in Atom ^c

IRI	`https://w3id.org/meta#LowerThanBuilt-inAtom`
Description	Lower Than Built-in Atoms, e.g. swrlb:lowerThan
Sub Class Of	Built-in Atom ^c
Restriction	meta:hasBuiltInExpression ^op value meta:hasDataLiteral1 ^op exactly 1 meta:hasDataLiteral2 ^op exactly 1

Max Cardinality ^c

IRI	`https://w3id.org/meta#MaxCardinality`
Sub Class Of	Value Restriction ^c
In Domain Of	meta:maxCardinality ^dp
Restriction	meta:onProperty ^op exactly 1

Min Cardinality ^c

IRI	`https://w3id.org/meta#MinCardinality`
Sub Class Of	Value Restriction ^c
In Domain Of	meta:minCardinality ^dp
Restriction	meta:onProperty ^op exactly 1

Named Class ^c

IRI	`https://w3id.org/meta#NamedClass`
Sub Class Of	Class Description ^c

Object Property fact ^c

IRI	`https://w3id.org/meta#ObjectPropertFact`
Sub Class Of	meta:Fact ^c
In Domain Of	meta:onIndividual ^op meta:onObjectProperty ^op
Restriction	meta:onIndividual ^op exactly 1 meta:onObjectProperty ^op exactly 1

Object Property ^c

IRI	`https://w3id.org/meta#ObjectProperty`
Sub Class Of	meta:Property ^c
In Range Of	meta:hasObjectPropertyPredicate ^op meta:onObjectProperty ^op

Object Property Atom ^c

IRI	`https://w3id.org/meta#ObjectPropertyAtom`
Description	Object Property Atom, e.g., hasParent(?i1, ?i2)
Sub Class Of	meta:Atom ^c
In Domain Of	meta:hasObjectPropertyPredicate ^op
Restriction	meta:hasArgument1 ^op exactly 1 meta:hasArgument2 ^op exactly 1 meta:hasObjectPropertyPredicate ^op exactly 1

Object Property Relation ^c

IRI	`https://w3id.org/meta#ObjectPropertyRelation`
Sub Class Of	Property Relation ^c
In Domain Of	meta:byProperty ^op meta:withIndividual ^op
In Range Of	meta:hasObjectPropertyRelation ^op
Restriction	meta:byProperty ^op exactly 1 meta:withIndividual ^op exactly 1

Ontology ^c

IRI	`https://w3id.org/meta#Ontology`
In Domain Of	meta:consistOf ^op meta:hasAxiom ^op meta:hasPreference ^op meta:ontologyIRI ^dp
In Range Of	meta:isAxiomOf ^op
Restriction	meta:consistOf ^op some meta:hasAxiom ^op some meta:hasPreference ^op some

Ontology Element ^c

IRI	`https://w3id.org/meta#OntologyElement`
In Domain Of	meta:IRI ^dp meta:class ^dp
In Range Of	meta:consistOf ^op
Super Class Of	Built-in ^c Class Description ^c meta:Individual ^c meta:Property ^c Property Relation ^c

Preference ^c

IRI	`https://w3id.org/meta#Preference`
Description	Preference class represents a restriction and relate to individuals.
In Domain Of	meta:hasFact ^op meta:hasIndividual ^op
In Range Of	meta:hasPreference ^op
Restriction	meta:hasFact ^op min 1 meta:hasIndividual ^op exactly 1

Property ^c

IRI	`https://w3id.org/meta#Property`
Description	Properties represent named binary associations in the modeled knowledge domain.
Sub Class Of	Ontology Element ^c
In Domain Of	meta:domain ^op meta:range ^op
In Range Of	meta:byProperty ^op meta:onProperty ^op
Super Class Of	Data Property ^c Object Property ^c

Property Relation ^c

IRI	`https://w3id.org/meta#PropertyRelation`
Sub Class Of	Ontology Element ^c
Super Class Of	Data Property Relation ^c Object Property Relation ^c

Rule ^c

IRI	`https://w3id.org/meta#Rule`
Description	Rules describe relationships between other ontology elements.
In Domain Of	meta:hasAntecedent ^op meta:hasConsequent ^op meta:isAxiomOf ^op
In Range Of	meta:hasAxiom ^op meta:isAntecedentOf ^op
Restriction	meta:hasAntecedent ^op exactly 1 meta:hasConsequent ^op exactly 1

Rule Part ^c

IRI	`https://w3id.org/meta#RulePart`
Super Class Of	meta:Antecedent ^c meta:Argument ^c meta:Atom ^c meta:Consecuent ^c Data Literal ^c

Same Individual Atom ^c

IRI	`https://w3id.org/meta#SameIndividualAtom`
Description	Same Individuals Atom, e.g. sameAs(?x,?y)
Sub Class Of	Individual Identity Atom ^c
Restriction	meta:hasBuiltInExpression ^op value meta:hasArgument1 ^op exactly 1 meta:hasArgument2 ^op exactly 1

Some Values ^c

IRI	`https://w3id.org/meta#SomeValues`
Sub Class Of	Value Restriction ^c
In Domain Of	meta:someValues ^op
Restriction	meta:onProperty ^op exactly 1 meta:someValues ^op exactly 1

Union Of ^c

IRI	`https://w3id.org/meta#UnionOf`
Sub Class Of	Class Description ^c
In Domain Of	meta:unionOf ^op
Restriction	meta:onClass ^op exactly 1 meta:unionOf ^op exactly 1

Value Restriction ^c

IRI	`https://w3id.org/meta#ValueRestriction`
Sub Class Of	Class Description ^c
In Domain Of	meta:onProperty ^op
Super Class Of	All Values ^c Has Value ^c Max Cardinality ^c Min Cardinality ^c Some Values ^c

Object Properties

all values from ^op

IRI	`https://w3id.org/meta#allValuesFrom`
Domain	All Values ^c
Range	Class Description ^c

by property ^op

IRI	`https://w3id.org/meta#byProperty`
Domain	Object Property Relation ^c
Range	meta:Property ^c

complement of ^op

IRI	`https://w3id.org/meta#complementOf`
Domain	Complement Of ^c
Range	Class Description ^c

consist of ^op

IRI	`https://w3id.org/meta#consistOf`
Domain	meta:Ontology ^c
Range	Ontology Element ^c

disjoint with ^op

IRI	`https://w3id.org/meta#disjointWith`
Domain	Class Description ^c
Range	Class Description ^c

domain ^op

IRI	`https://w3id.org/meta#domain`
Domain	meta:Property ^c
Range	Class Description ^c

equivalent class ^op

IRI	`https://w3id.org/meta#equivalentClass`
Domain	Class Description ^c
Range	Class Description ^c

has antecedent ^op

IRI	`https://w3id.org/meta#hasAntecedent`
Domain	meta:Rule ^c
Range	meta:Antecedent ^c

has argument ^op

IRI	`https://w3id.org/meta#hasArgument`
Super Property Of	meta:hasArgument1 ^op meta:hasArgument2 ^op
Range	meta:Argument ^c

has argument1 ^op

IRI	`https://w3id.org/meta#hasArgument1`
Sub Property Of	meta:hasArgument ^op

has argument2 ^op

IRI	`https://w3id.org/meta#hasArgument2`
Sub Property Of	meta:hasArgument ^op

has atom ^op

IRI	`https://w3id.org/meta#hasAtom`
Domain	meta:Consecuent ^c or meta:Antecedent ^c
Range	meta:Atom ^c

has axiom ^op

IRI	`https://w3id.org/meta#hasAxiom`
Domain	meta:Ontology ^c
Range	meta:Rule ^c

has built in expression ^op

IRI	`https://w3id.org/meta#hasBuiltInExpression`
Domain	Built-in Atom ^c
Range	Built-in ^c

has class predicate ^op

IRI	`https://w3id.org/meta#hasClassPredicate`
Domain	Class Atom ^c
Range	Class Description ^c

has consequent ^op

IRI	`https://w3id.org/meta#hasConsequent`
Domain	meta:Rule ^c
Range	meta:Consecuent ^c

has data literal ^op

IRI	`https://w3id.org/meta#hasDataLiteral`
Super Property Of	meta:hasDataLiteral1 ^op meta:hasDataLiteral2 ^op
Range	Data Literal ^c

has data literal1 ^op

IRI	`https://w3id.org/meta#hasDataLiteral1`
Sub Property Of	meta:hasDataLiteral ^op

has data literal2 ^op

IRI	`https://w3id.org/meta#hasDataLiteral2`
Sub Property Of	meta:hasDataLiteral ^op

has data property predicate ^op

IRI	`https://w3id.org/meta#hasDataPropertyPredicate`
Domain	Data Property Atom ^c
Range	Data Property ^c

has fact ^op

IRI	`https://w3id.org/meta#hasFact`
Domain	meta:Preference ^c
Range	meta:Fact ^c

has individual ^op

IRI	`https://w3id.org/meta#hasIndividual`
Domain	meta:Preference ^c
Range	meta:Individual ^c

has object property predicate ^op

IRI	`https://w3id.org/meta#hasObjectPropertyPredicate`
Domain	Object Property Atom ^c
Range	Object Property ^c

has object property relation ^op

IRI	`https://w3id.org/meta#hasObjectPropertyRelation`
Domain	meta:Individual ^c
Range	Object Property Relation ^c

has preference ^op

IRI	`https://w3id.org/meta#hasPreference`
Description	Relates an Ontology to a Preference.
Domain	meta:Ontology ^c
Range	meta:Preference ^c

has value ^op

IRI	`https://w3id.org/meta#hasValue`
Domain	Has Value ^c
Range	Class Description ^c

intersection of ^op

IRI	`https://w3id.org/meta#intersectionOf`
Domain	Intersection Of ^c
Range	Class Description ^c

is antecedent of ^op

IRI	`https://w3id.org/meta#isAntecedentOf`
Domain	meta:Antecedent ^c
Range	meta:Rule ^c

is atom of ^op

IRI	`https://w3id.org/meta#isAtomOf`
Domain	meta:Atom ^c
Range	meta:Antecedent ^c or meta:Consecuent ^c

is axiom of ^op

IRI	`https://w3id.org/meta#isAxiomOf`
Domain	meta:Rule ^c
Range	meta:Ontology ^c

on class ^op

IRI	`https://w3id.org/meta#onClass`
Domain	Intersection Of ^c or Union Of ^c
Range	Class Description ^c

on data property ^op

IRI	`https://w3id.org/meta#onDataProperty`
Domain	Data Property fact ^c
Range	Data Property ^c

on individual ^op

IRI	`https://w3id.org/meta#onIndividual`
Domain	Object Property fact ^c
Range	meta:Individual ^c

on object property ^op

IRI	`https://w3id.org/meta#onObjectProperty`
Domain	Object Property fact ^c
Range	Object Property ^c

on property ^op

IRI	`https://w3id.org/meta#onProperty`
Domain	Value Restriction ^c
Range	meta:Property ^c

range ^op

IRI	`https://w3id.org/meta#range`
Domain	meta:Property ^c
Range	Class Description ^c

some values ^op

IRI	`https://w3id.org/meta#someValues`
Domain	Some Values ^c
Range	Class Description ^c

sub class of ^op

IRI	`https://w3id.org/meta#subClassOf`
Domain	Class Description ^c
Range	Class Description ^c

type ^op

IRI	`https://w3id.org/meta#type`
Domain	meta:Individual ^c
Range	Class Description ^c

union of ^op

IRI	`https://w3id.org/meta#unionOf`
Domain	Union Of ^c
Range	Class Description ^c

with data literal ^op

IRI	`https://w3id.org/meta#withDataLiteral`
Domain	Data Property Relation ^c
Range	Data Literal ^c

with individual ^op

IRI	`https://w3id.org/meta#withIndividual`
Domain	Object Property Relation ^c
Range	meta:Individual ^c

meta:Antecedent ^c meta:Consecuent ^c meta:Antecedent ^c meta:Consecuent ^c Intersection Of ^c Union Of ^c

Datatype Properties

Iri ^dp

IRI	`https://w3id.org/meta#IRI`
Domain	Ontology Element ^c
Range	xsd:string

class ^dp

IRI	`https://w3id.org/meta#class`
Domain	Ontology Element ^c
Range	xsd:string

data value ^dp

IRI	`https://w3id.org/meta#dataValue`
Domain	Data Literal ^c
Range	xsd:integer ^c or xsd:string ^c or xsd:float ^c

max cardinality ^dp

IRI	`https://w3id.org/meta#maxCardinality`
Domain	Max Cardinality ^c
Range	xsd:integer

min cardinality ^dp

IRI	`https://w3id.org/meta#minCardinality`
Domain	Min Cardinality ^c
Range	xsd:integer

name ^dp

IRI	`https://w3id.org/meta#name`
Domain	meta:Argument ^c
Range	xsd:string

ontology iri ^dp

IRI	`https://w3id.org/meta#ontologyIRI`
Domain	meta:Ontology ^c
Range	xsd:string

xsd:float ^c xsd:integer ^c xsd:string ^c

Annotation Properties

bibliographic citation ^ap

IRI	`http://purl.org/dc/terms/bibliographicCitation`

created ^ap

IRI	`http://purl.org/dc/terms/created`

issued ^ap

IRI	`http://purl.org/dc/terms/issued`

licence ^ap

IRI	`http://purl.org/dc/terms/licence`

modified ^ap

IRI	`http://purl.org/dc/terms/modified`

publisher ^ap

IRI	`http://purl.org/dc/terms/publisher`

rights ^ap

IRI	`http://purl.org/dc/terms/rights`

title ^ap

IRI	`http://purl.org/dc/terms/title`

preferred namespace prefix ^ap

IRI	`https://w3id.org/meta#preferredNamespacePrefix`

preferred namespace uri ^ap

IRI	`https://w3id.org/meta#preferredNamespaceUri`

Namespaces

meta: https://w3id.org/meta#
owl: http://www.w3.org/2002/07/owl#
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
sdo: https://schema.org/
terms: http://purl.org/dc/terms/
vann: http://purl.org/vocab/vann/
xsd: http://www.w3.org/2001/XMLSchema#

Legend

^c	Classes
^op	Object Properties
^dp	Datatype Properties
^ap	Annotation Properties

METAA Meta-model for Semantic Knowledge Representation

Metadata

Classes

All Values c

Antecedent c

Argument c

Atom c

Built-in c

Built-in Atom c

Class Atom c

Class Description c

Complement Of c

Consecuent c

Data Literal c

Data Property c

Data Property Atom c

Data Property fact c

Data Property Relation c

Different Individual Atom c

Fact c

Greater Than Built-in Atom c

Has Value c

Individual c

Individual Identity Atom c

Intersection Of c

Lower Than Built-in Atom c

Max Cardinality c

Min Cardinality c

Named Class c

Object Property fact c

Object Property c

Object Property Atom c

Object Property Relation c

Ontology c

Ontology Element c

Preference c

Property c

Property Relation c

Rule c

Rule Part c

Same Individual Atom c

Some Values c

Union Of c

Value Restriction c

Object Properties

all values from op

by property op

complement of op

consist of op

disjoint with op

domain op

equivalent class op

has antecedent op

has argument op

has argument1 op

has argument2 op

has atom op

has axiom op

has built in expression op

has class predicate op

has consequent op

has data literal op

has data literal1 op

has data literal2 op

has data property predicate op

has fact op

has individual op

has object property predicate op

has object property relation op

has preference op

has value op

intersection of op

is antecedent of op

is atom of op

is axiom of op

on class op

on data property op

on individual op

on object property op

on property op

All Values ^c

Antecedent ^c

Argument ^c

Atom ^c

Built-in ^c

Built-in Atom ^c

Class Atom ^c

Class Description ^c

Complement Of ^c

Consecuent ^c

Data Literal ^c

Data Property ^c

Data Property Atom ^c

Data Property fact ^c

Data Property Relation ^c

Different Individual Atom ^c

Fact ^c

Greater Than Built-in Atom ^c

Has Value ^c

Individual ^c

Individual Identity Atom ^c

Intersection Of ^c

Lower Than Built-in Atom ^c

Max Cardinality ^c

Min Cardinality ^c

Named Class ^c

Object Property fact ^c

Object Property ^c

Object Property Atom ^c

Object Property Relation ^c

Ontology ^c

Ontology Element ^c

Preference ^c

Property ^c

Property Relation ^c

Rule ^c

Rule Part ^c

Same Individual Atom ^c

Some Values ^c

Union Of ^c

Value Restriction ^c

all values from ^op

by property ^op

complement of ^op

consist of ^op

disjoint with ^op

domain ^op

equivalent class ^op

has antecedent ^op

has argument ^op

has argument1 ^op

has argument2 ^op

has atom ^op

has axiom ^op

has built in expression ^op

has class predicate ^op

has consequent ^op

has data literal ^op

has data literal1 ^op

has data literal2 ^op

has data property predicate ^op

has fact ^op

has individual ^op

has object property predicate ^op

has object property relation ^op

has preference ^op

has value ^op

intersection of ^op

is antecedent of ^op

is atom of ^op

is axiom of ^op

on class ^op

on data property ^op

on individual ^op

on object property ^op

on property ^op

range ^op

some values ^op

sub class of ^op

type ^op