OWL 2 functional-style syntax

E641813

formal language machine-readable syntax ontology syntax textual notation

OWL 2 functional-style syntax is a formal, logic-oriented textual notation for writing OWL 2 ontologies in a precise and machine-readable way.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (4)

Label	Occurrences
OWL 2 functional-style syntax canonical	2
OWL 2 Functional Syntax	1
OWL 2 Structural Specification and Functional-Style Syntax	1
OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax	1

How this entity was disambiguated

This entity first appeared as the object of triple T7115471 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: OWL 2 functional-style syntax
Context triple: [OWL 2 recommendation, standardizes, OWL 2 functional-style syntax]

A. OWL 2 EL
OWL 2 EL is a lightweight profile of the Web Ontology Language designed for efficient reasoning over large-scale ontologies, particularly in domains like biomedical terminologies.
B. OWL DL
OWL DL is a sublanguage of the Web Ontology Language that balances expressive power with computational decidability by adhering closely to description logic foundations.
C. OWL 2 QL
OWL 2 QL is a lightweight profile of the Web Ontology Language designed to enable efficient query answering over large datasets using standard relational database technologies.
D. OWL 2 RL
OWL 2 RL is a profile of the Web Ontology Language designed for scalable reasoning using rule-based systems, enabling efficient inference over large datasets.
E. OWL Full
OWL Full is the most expressive and semantically unrestricted variant of the Web Ontology Language, allowing full RDF compatibility at the cost of computational decidability.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: OWL 2 functional-style syntax
Target entity description: OWL 2 functional-style syntax is a formal, logic-oriented textual notation for writing OWL 2 ontologies in a precise and machine-readable way.

A. OWL 2 EL
OWL 2 EL is a lightweight profile of the Web Ontology Language designed for efficient reasoning over large-scale ontologies, particularly in domains like biomedical terminologies.
B. OWL DL
OWL DL is a sublanguage of the Web Ontology Language that balances expressive power with computational decidability by adhering closely to description logic foundations.
C. OWL 2 QL
OWL 2 QL is a lightweight profile of the Web Ontology Language designed to enable efficient query answering over large datasets using standard relational database technologies.
D. OWL 2 RL
OWL 2 RL is a profile of the Web Ontology Language designed for scalable reasoning using rule-based systems, enabling efficient inference over large datasets.
E. OWL Full
OWL Full is the most expressive and semantically unrestricted variant of the Web Ontology Language, allowing full RDF compatibility at the cost of computational decidability.
F. None of above. chosen

Statements (50)

Predicate	Object
instanceOf	formal language ⓘ machine-readable syntax ⓘ ontology syntax ⓘ textual notation ⓘ
conformsTo	OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax ⓘ linked to: OWL 2 Web Ontology Language
definedIn	OWL 2 Web Ontology Language Document Overview ⓘ linked to: OWL 2 Web Ontology Language
hasAdvantage	direct mapping to OWL 2 structural specification ⓘ suitable for formal proofs and reasoning about ontologies ⓘ
hasCharacteristic	formal ⓘ logic-oriented ⓘ machine-processable ⓘ text-based ⓘ unambiguous ⓘ
hasDesignGoal	close correspondence to OWL 2 structural specification ⓘ ease of parsing by tools ⓘ precise specification of OWL 2 ontologies ⓘ
hasExampleConstruct	ClassAssertion(...) axiom ⓘ Declaration(...) axiom ⓘ ObjectPropertyAssertion(...) axiom ⓘ Ontology(...) expression ⓘ SubClassOf(...) axiom ⓘ
hasKeywordStyle	capitalized construct names ⓘ
hasNotationStyle	parenthesized functional notation ⓘ
hasScope	OWL 2 DL ⓘ OWL 2 Full ⓘ
hasSemanticsDefinedBy	OWL 2 model-theoretic semantics ⓘ
introducedWith	OWL 2 recommendation ⓘ
isAlternativeTo	OWL 2 Manchester syntax ⓘ OWL 2 RDF/XML syntax ⓘ OWL 2 Turtle-based syntaxes ⓘ OWL 2 XML syntax ⓘ linked to: OWL 2 RDF/XML syntax
partOf	OWL 2 specification ⓘ linked to: OWL 2 Web Ontology Language
primarilyIntendedFor	ontology language designers ⓘ tool developers ⓘ
publicationYear	2009 ⓘ
relatedTo	description logics ⓘ semantic web standards ⓘ
represents	annotations in OWL 2 ⓘ classes in OWL 2 ⓘ data properties in OWL 2 ⓘ datatypes in OWL 2 ⓘ individuals in OWL 2 ⓘ object properties in OWL 2 ⓘ ontology axioms ⓘ
standardizedBy	W3C ⓘ linked to: World Wide Web Consortium World Wide Web Consortium ⓘ
supports	description logic semantics of OWL 2 ⓘ
usedFor	defining OWL 2 ontologies in a precise way ⓘ specifying OWL 2 axioms ⓘ writing OWL 2 ontologies ⓘ

How these facts were elicited

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

OWL 2 recommendation → standardizes → OWL 2 functional-style syntax ⓘ

OWL 2 EL → hasSyntax → OWL 2 functional-style syntax ⓘ

OWL 2 DL → specifiedIn → OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax ⓘ

linked to: OWL 2 functional-style syntax

OWL 2 Manchester syntax → relatedTo → OWL 2 Functional Syntax ⓘ

linked to: OWL 2 functional-style syntax

OWL Working Group → hasDeliverable → OWL 2 Structural Specification and Functional-Style Syntax ⓘ

linked to: OWL 2 functional-style syntax

All labels observed (4)

How this entity was disambiguated Show

Statements (50)

How these facts were elicited Show

Referenced by (5)

How this entity was disambiguated

How these facts were elicited