Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Web Ontology Language

+ Save concept

The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies. [1]

76 relations: Abstract syntax, AGRIS, Artificial intelligence, Attribute (computing), Axiom, Basic formal ontology, Biodiversity Information Standards, Bottom type, Cardinality, Class (computer programming), Class hierarchy, Closed-world assumption, Common Logic, Complete theory, DAML+OIL, DARPA, DARPA Agent Markup Language, Decidability (logic), Description logic, Extensional and intensional definitions, First-order logic, FOAF (ontology), Frame language, Framework Programmes for Research and Technological Development, Geopolitical ontology, HTML, IDEAS Group, IPlant Collaborative, Is-a, James Hendler, Knowledge representation and reasoning, Logic, Logic programming, Meta-Object Facility, Metaclass, Metaclass (Semantic Web), Model theory, Multimedia Web Ontology Language, National Cancer Institute, National Center for Biomedical Ontology, Object Management Group, Object-oriented programming, Ontology (information science), Ontology Inference Layer, Open Biomedical Ontologies, Open-world assumption, Prolog, Protégé (software), RDF Schema, Relational database, ..., Resource Description Framework, Ronald J. Brachman, Semantic reasoner, Semantic Web, Semantics (computer science), Serialization, Simple HTML Ontology Extensions, Simple Knowledge Organization System, SQL, Sublanguage, Suggested Upper Merged Ontology, Swoogle, Taxonomy (general), Thesaurus, Tom Gruber, Top type, Tuple, Turtle (syntax), Unified Modeling Language, Uniform Resource Identifier, University of Manchester, Web standards, William A. Martin, Winnie-the-Pooh (book), World Wide Web Consortium, XML. Expand index (26 more) »

Abstract syntax

In computer science, the abstract syntax of data is its structure described as a data type (possibly, but not necessarily, an abstract data type), independent of any particular representation or encoding.

New!!: Web Ontology Language and Abstract syntax · See more »

AGRIS

AGRIS (International System for Agricultural Science and Technology) is a global public domain database with more than 8 million structured bibliographical records on agricultural science and technology.

New!!: Web Ontology Language and AGRIS · See more »

Artificial intelligence

Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.

New!!: Web Ontology Language and Artificial intelligence · See more »

Attribute (computing)

In computing, an attribute is a specification that defines a property of an object, element, or file.

New!!: Web Ontology Language and Attribute (computing) · See more »

Axiom

An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.

New!!: Web Ontology Language and Axiom · See more »

Basic formal ontology

Basic Formal Ontology (BFO) is a top level ontology developed by Barry Smith and his associates for the purposes of promoting interoperability among domain ontologies built in its terms through a process of downward population.

New!!: Web Ontology Language and Basic formal ontology · See more »

Biodiversity Information Standards

Biodiversity Information Standards (TDWG) is a non-profit scientific and educational association that works to develop open standards for the exchange of biodiversity data, facilitating biodiversity informatics.

New!!: Web Ontology Language and Biodiversity Information Standards · See more »

Bottom type

In type theory, a theory within mathematical logic, the bottom type is the type that has no values.

New!!: Web Ontology Language and Bottom type · See more »

Cardinality

In mathematics, the cardinality of a set is a measure of the "number of elements of the set".

New!!: Web Ontology Language and Cardinality · See more »

Class (computer programming)

In object-oriented programming, a class is an extensible program-code-template for creating objects, providing initial values for state (member variables) and implementations of behavior (member functions or methods).

New!!: Web Ontology Language and Class (computer programming) · See more »

Class hierarchy

This article is about the computer science concept.

New!!: Web Ontology Language and Class hierarchy · See more »

Closed-world assumption

The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true.

New!!: Web Ontology Language and Closed-world assumption · See more »

Common Logic

Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.

New!!: Web Ontology Language and Common Logic · See more »

Complete theory

In mathematical logic, a theory is complete if, for every formula in the theory's language, that formula or its negation is demonstrable.

New!!: Web Ontology Language and Complete theory · See more »

DAML+OIL

DAML+OIL is a successor language to DAML and OIL that combines features of both.

New!!: Web Ontology Language and DAML+OIL · See more »

DARPA

The Defense Advanced Research Projects Agency (DARPA) is an agency of the United States Department of Defense responsible for the development of emerging technologies for use by the military.

New!!: Web Ontology Language and DARPA · See more »

DARPA Agent Markup Language

The DARPA Agent Markup Language (DAML) was the name of a US funding program at the US Defense Advanced Research Projects Agency (DARPA) started in 1999 by then-Program Manager James Hendler, and later run by Murray Burke, Mark Greaves and Michael Pagels.

New!!: Web Ontology Language and DARPA Agent Markup Language · See more »

Decidability (logic)

In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas, or, more precisely, an algorithm that can and will return a boolean true or false value that is correct (instead of looping indefinitely, crashing, returning "don't know" or returning a wrong answer).

New!!: Web Ontology Language and Decidability (logic) · See more »

Description logic

Description logics (DL) are a family of formal knowledge representation languages.

New!!: Web Ontology Language and Description logic · See more »

Extensional and intensional definitions

Extensional and intensional definitions are two key ways in which the object(s) or concept(s) a term refers to can be defined.

New!!: Web Ontology Language and Extensional and intensional definitions · See more »

First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Web Ontology Language and First-order logic · See more »

FOAF (ontology)

FOAF (an acronym of friend of a friend) is a machine-readable ontology describing persons, their activities and their relations to other people and objects.

New!!: Web Ontology Language and FOAF (ontology) · See more »

Frame language

A frame language is a technology used for knowledge representation in artificial intelligence.

New!!: Web Ontology Language and Frame language · See more »

Framework Programmes for Research and Technological Development

The Framework Programmes for Research and Technological Development, also called Framework Programmes or abbreviated FP1 to FP7 with "FP8" being named "Horizon 2020", are funding programmes created by the European Union/European Commission to support and foster research in the European Research Area (ERA).

New!!: Web Ontology Language and Framework Programmes for Research and Technological Development · See more »

Geopolitical ontology

The FAO geopolitical ontology is an Ontology developed by the Food and Agriculture Organization of the United Nations (FAO) to describe, manage and exchange data related to geopolitical entities such as countries, territories, regions and other similar areas.

New!!: Web Ontology Language and Geopolitical ontology · See more »

HTML

Hypertext Markup Language (HTML) is the standard markup language for creating web pages and web applications.

New!!: Web Ontology Language and HTML · See more »

IDEAS Group

The IDEAS Group is the International Defence Enterprise Architecture Specification for exchange Group.

New!!: Web Ontology Language and IDEAS Group · See more »

IPlant Collaborative

The iPlant Collaborative is a virtual organization created by a cooperative agreement funded by the US National Science Foundation (NSF) to create cyberinfrastructure for the plant sciences (botany).

New!!: Web Ontology Language and IPlant Collaborative · See more »

Is-a

In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class A is a subclass of another class B (and so B is a superclass of A).

New!!: Web Ontology Language and Is-a · See more »

James Hendler

James Alexander Hendler (born April 2, 1957) is an artificial intelligence researcher at Rensselaer Polytechnic Institute, United States, and one of the originators of the Semantic Web.

New!!: Web Ontology Language and James Hendler · See more »

Knowledge representation and reasoning

Knowledge representation and reasoning (KR, KR², KR&R) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language.

New!!: Web Ontology Language and Knowledge representation and reasoning · See more »

Logic

Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.

New!!: Web Ontology Language and Logic · See more »

Logic programming

Logic programming is a type of programming paradigm which is largely based on formal logic.

New!!: Web Ontology Language and Logic programming · See more »

Meta-Object Facility

The Meta-Object Facility (MOF) is an Object Management Group (OMG) standard for model-driven engineering.

New!!: Web Ontology Language and Meta-Object Facility · See more »

Metaclass

In object-oriented programming, a metaclass is a class whose instances are classes.

New!!: Web Ontology Language and Metaclass · See more »

Metaclass (Semantic Web)

In the Semantic Web and in knowledge representation, a metaclass is a class whose instances are themselves classes.

New!!: Web Ontology Language and Metaclass (Semantic Web) · See more »

Model theory

In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.

New!!: Web Ontology Language and Model theory · See more »

Multimedia Web Ontology Language

Machine interpretation of documents and services in Semantic Web environment is primarily enabled by (a) the capability to mark documents, document segments and services with semantic tags and (b) the ability to establish contextual relations between the tags with a domain model, which is formally represented as ontology.

New!!: Web Ontology Language and Multimedia Web Ontology Language · See more »

National Cancer Institute

The National Cancer Institute (NCI) is part of the National Institutes of Health (NIH), which is one of eleven agencies that are part of the U.S. Department of Health and Human Services.

New!!: Web Ontology Language and National Cancer Institute · See more »

National Center for Biomedical Ontology

The National Center for Biomedical Ontology (NCBO) is one of the National Centers for Biomedical Computing, and is funded by the NIH.

New!!: Web Ontology Language and National Center for Biomedical Ontology · See more »

Object Management Group

The Object Management Group (OMG) is an international, open membership, not-for-profit technology '''standards''' consortium.

New!!: Web Ontology Language and Object Management Group · See more »

Object-oriented programming

Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which may contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").

New!!: Web Ontology Language and Object-oriented programming · See more »

Ontology (information science)

In computer science and information science, an ontology encompasses a representation, formal naming, and definition of the categories, properties, and relations of the concepts, data, and entities that substantiate one, many, or all domains.

New!!: Web Ontology Language and Ontology (information science) · See more »

Ontology Inference Layer

OIL (Ontology Inference Layer or Ontology Interchange Language) can be regarded as an ontology infrastructure for the Semantic Web.

New!!: Web Ontology Language and Ontology Inference Layer · See more »

Open Biomedical Ontologies

Open Biomedical Ontologies (abbreviated OBO; formerly Open Biological Ontologies) is an effort to create controlled vocabularies for shared use across different biological and medical domains.

New!!: Web Ontology Language and Open Biomedical Ontologies · See more »

Open-world assumption

In a formal system of logic used for knowledge representation, the open-world assumption is the assumption that the truth value of a statement may be true irrespective of whether or not it is known to be true.

New!!: Web Ontology Language and Open-world assumption · See more »

Prolog

Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics.

New!!: Web Ontology Language and Prolog · See more »

Protégé (software)

Protégé is a free, open source ontology editor and a knowledge management system.

New!!: Web Ontology Language and Protégé (software) · See more »

RDF Schema

RDF Schema (Resource Description Framework Schema, variously abbreviated as RDFS, RDF(S), RDF-S, or RDF/S) is a set of classes with certain properties using the RDF extensible knowledge representation data model, providing basic elements for the description of ontologies, otherwise called RDF vocabularies, intended to structure RDF resources.

New!!: Web Ontology Language and RDF Schema · See more »

Relational database

A relational database is a digital database based on the relational model of data, as proposed by E. F. Codd in 1970.

New!!: Web Ontology Language and Relational database · See more »

Resource Description Framework

The Resource Description Framework (RDF) is a family of World Wide Web Consortium (W3C) specifications originally designed as a metadata data model.

New!!: Web Ontology Language and Resource Description Framework · See more »

Ronald J. Brachman

Ronald Jay "Ron" Brachman (born 1949) is the director of the Jacobs Technion-Cornell Institute at Cornell Tech.

New!!: Web Ontology Language and Ronald J. Brachman · See more »

Semantic reasoner

A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms.

New!!: Web Ontology Language and Semantic reasoner · See more »

Semantic Web

The Semantic Web is an extension of the World Wide Web through standards by the World Wide Web Consortium (W3C).

New!!: Web Ontology Language and Semantic Web · See more »

Semantics (computer science)

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.

New!!: Web Ontology Language and Semantics (computer science) · See more »

Serialization

In computer science, in the context of data storage, serialization is the process of translating data structures or object state into a format that can be stored (for example, in a file or memory buffer) or transmitted (for example, across a network connection link) and reconstructed later (possibly in a different computer environment).

New!!: Web Ontology Language and Serialization · See more »

Simple HTML Ontology Extensions

In the semantic web, Simple HTML Ontology Extensions are a small set of HTML extensions designed to give web pages semantic meaning by allowing information such as class, subclass and property relationships.

New!!: Web Ontology Language and Simple HTML Ontology Extensions · See more »

Simple Knowledge Organization System

Simple Knowledge Organization System (SKOS) is a W3C recommendation designed for representation of thesauri, classification schemes, taxonomies, subject-heading systems, or any other type of structured controlled vocabulary.

New!!: Web Ontology Language and Simple Knowledge Organization System · See more »

SQL

SQL (S-Q-L, "sequel"; Structured Query Language) is a domain-specific language used in programming and designed for managing data held in a relational database management system (RDBMS), or for stream processing in a relational data stream management system (RDSMS).

New!!: Web Ontology Language and SQL · See more »

Sublanguage

A sublanguage is a subset of a language.

New!!: Web Ontology Language and Sublanguage · See more »

Suggested Upper Merged Ontology

The Suggested Upper Merged Ontology (SUMO) is an upper ontology intended as a foundation ontology for a variety of computer information processing systems.

New!!: Web Ontology Language and Suggested Upper Merged Ontology · See more »

Swoogle

Swoogle is a search engine for Semantic Web ontologies, documents, terms and data published on the Web.

New!!: Web Ontology Language and Swoogle · See more »

Taxonomy (general)

Taxonomy is the practice and science of classification.

New!!: Web Ontology Language and Taxonomy (general) · See more »

Thesaurus

In general usage, a thesaurus is a reference work that lists words grouped together according to similarity of meaning (containing synonyms and sometimes antonyms), in contrast to a dictionary, which provides definitions for words, and generally lists them in alphabetical order.

New!!: Web Ontology Language and Thesaurus · See more »

Tom Gruber

Thomas Robert "Tom" Gruber (born 1959) is an American computer scientist, inventor, and entrepreneur with a focus on systems for knowledge sharing and collective intelligence.

New!!: Web Ontology Language and Tom Gruber · See more »

Top type

The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the down tack symbol (⊤), is the universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top.

New!!: Web Ontology Language and Top type · See more »

Tuple

In mathematics, a tuple is a finite ordered list (sequence) of elements.

New!!: Web Ontology Language and Tuple · See more »

Turtle (syntax)

Terse RDF Triple Language (Turtle) is a syntax and file format for expressing data in the Resource Description Framework (RDF) data model.

New!!: Web Ontology Language and Turtle (syntax) · See more »

Unified Modeling Language

The Unified Modeling Language (UML) is a general-purpose, developmental, modeling language in the field of software engineering, that is intended to provide a standard way to visualize the design of a system.

New!!: Web Ontology Language and Unified Modeling Language · See more »

Uniform Resource Identifier

A Uniform Resource Identifier (URI) is a string of characters designed for unambiguous identification of resources and extensibility via the URI scheme.

New!!: Web Ontology Language and Uniform Resource Identifier · See more »

University of Manchester

The University of Manchester is a public research university in Manchester, England, formed in 2004 by the merger of the University of Manchester Institute of Science and Technology and the Victoria University of Manchester.

New!!: Web Ontology Language and University of Manchester · See more »

Web standards

Web standards are the formal, non-proprietary standards and other technical specifications that define and describe aspects of the World Wide Web.

New!!: Web Ontology Language and Web standards · See more »

William A. Martin

William A. Martin (1938-1981) was a computer scientist from Oklahoma City, Oklahoma.

New!!: Web Ontology Language and William A. Martin · See more »

Winnie-the-Pooh (book)

Winnie-the-Pooh (1926) is the first volume of stories about Winnie-the-Pooh, written by A. A. Milne and illustrated by E. H. Shepard.

New!!: Web Ontology Language and Winnie-the-Pooh (book) · See more »

World Wide Web Consortium

The World Wide Web Consortium (W3C) is the main international standards organization for the World Wide Web (abbreviated WWW or W3).

New!!: Web Ontology Language and World Wide Web Consortium · See more »

XML

In computing, Extensible Markup Language (XML) is a markup language that defines a set of rules for encoding documents in a format that is both human-readable and machine-readable.

New!!: Web Ontology Language and XML · See more »

Redirects here:

Abstract OWL-S, FaCT, FaCT++, OWL (computer science), OWL (ontology), OWL 2, OWL Ontology, OWL ontology, OWL-DL, OWL.net/, Ontology Web Language, Pellet (software), RacerPro, Web ontology language.

References

[1] https://en.wikipedia.org/wiki/Web_Ontology_Language

OutgoingIncoming
Hey! We are on Facebook now! »