Editing Web Ontology Language (section)

===OWL2 profiles===
In OWL2 there are three sublanguages (known as ''profiles''):<ref name="owl2-profiles">{{cite web |url=https://www.w3.org/TR/owl2-profiles/|title=OWL 2 Web Ontology Language Profiles (Second Edition) |date=11 December 2012 |website=[[W3C]]}}</ref>
* OWL2 EL is a fragment that has polynomial time reasoning complexity. It is based on the [[description logic]] <math>\mathcal{EL}</math>.<ref>{{cite conference|last1=Baader|first1=Franz|last2=Brandt|first2=Sebastian|last3=Lutz|first3=Carsten|title=Pushing the <math>\mathcal{EL}</math> envelope|year=2005|publisher=Morgan Kaufmann Publishers Inc.|place =San Francisco, CA, USA|conference=Proceedings of the 19th International Joint Conference on Artificial Intelligence|pages=364–369}}</ref>
* OWL2 QL is designed to enable easier access and query to data stored in databases. It is based on the [[DL-Lite]] family of description logics.<ref>{{cite journal | first1=Diego |last1=Calvanese |first2=Giuseppe |last2=De Giacomo |first3=Domenico |last3=Lembo |first4=Maurizio |last4=Lenzerini |first5=Riccardo |last5=Rosati |title=Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family |journal = Journal of Automated Reasoning |volume = 39 |issue = 3 | pages = 385-429 |year=2007 |doi=10.1007/s10817-007-9078-X}}</ref>
* OWL2 RL is a rule subset of OWL 2 (the acronym "RL" stands for "Rule Language"). It is based on the so-called description logic programs (DLP). Later, a logic called <math>\mathcal{RL}</math> corresponding to this profile has been introduced.<ref>{{cite journal |url=https://iccl.inf.tu-dresden.de/w/images/c/cb/TOCL-2011-0035.pdf |title=Complexities of Horn Description Logics |last1=Krötzsch |first1=Markus |last2=Rudolph |first2=Sebastian |last3=Hitzler |first3=Pascal |date=2012 |journal=ACM Transactions on Computational Logic |volume=14 |issue=1 |pages=1–36 |doi=10.1145/2422085.2422087 |access-date=2024-09-23 |name-list-style=vanc}}</ref>