Ontology(IT)

Ashkotin — Sat, 07 Nov 2026 06:17:48 GMT

Comments

← Older revision		Revision as of 06:17, 7 November 2026
(5 intermediate revisions by the same user not shown)
Line 1:		Line 1:
	This document is a collection of definitions from different sources.		This document is a collection of definitions from different sources.
			<br>Every definition has a unique ID and is a separate unit of knowledge. If the definition is personal, "!" follows after the ID. The last two digits are the last two digits of the year in which the definition appeared. The definitions are arranged chronologically.
			<br>If there is no direct link to the source in the form of a URL, the ID of the person who provided the definition is provided to ask.
			<br>End letter "G" in definition ID means that the definition is IN GENERAL i.e. not only for IT.
			<br>'''Attributes and their values'''
	<br>'''DiU''' - definition is unattainable. This means we have a URL to the source description, but not the definition itself!		<br>'''DiU''' - definition is unattainable. This means we have a URL to the source description, but not the definition itself!
	<br>'''DB''' - database.		<br>'''DB''' - database.
Line 5:		Line 9:
	<br>'''PID''' - person ID. There are two person roles: presenting his own definition xor presenting a reference to the source of the definition.		<br>'''PID''' - person ID. There are two person roles: presenting his own definition xor presenting a reference to the source of the definition.
	<br>'''bref''' - bibliographic reference. If not full, it keeps "???".		<br>'''bref''' - bibliographic reference. If not full, it keeps "???".
	~~<br>Every definition has a unique ID and is a separate unit of knowledge. If the definition is personal, "!" follows after the ID.~~
	<br>If there is no direct link to the source in the form of a URL, the ID of the person who provided the definition is provided to ask. If the person created the definition himself, the definition's ID is followed by "!".
	~~<br>End letter "G" in definition ID means that the definition is IN GENERAL i.e. not only for IT.~~
	<br>'''General abbr'''		<br>'''General abbr'''
	<br>ITSM - IT Service Management refers to the entire lifecycle of designing, delivering, managing, and optimizing IT services for users. URL:???		<br>ITSM - IT Service Management refers to the entire lifecycle of designing, delivering, managing, and optimizing IT services for users. URL:???
Line 98:		Line 99:
	<br>[https://groups.google.com/g/ontolog-forum/c/7aaKsG5mS1U/m/NA-pyb7iAAAJ '''<u>URL</u>'''] '''PID''':JA		<br>[https://groups.google.com/g/ontolog-forum/c/7aaKsG5mS1U/m/NA-pyb7iAAAJ '''<u>URL</u>'''] '''PID''':JA
	<span id="related-terms"></span>		<span id="related-terms"></span>
			=== AS26! ===
			IT ontology is a formal theory that uses data.
			<br>'''URL''':<here> '''PID''':AS
			==== Comments ====
			Let's divide formal theories into three types:
			<br>- those that provide definitions of certain data, including methods for working with them. For example, any formalization of arithmetic, from Peano to Presburger and so on, allows for working with natural numbers.
			<br>- those that use data and consider its definitions to be known, such as virtually any applied ontology in OWL2, RDF(S), and other Semantic Web languages. For natural numbers, there is xsd:NonNegativeInteger.
			<br>- those that do not use any data, such as any formalization of Euclidean geometry, such as Geocoq.
			<br>The IT community has spontaneously adopted the inspiring term "ontology" for formal theories of the second type, and it's not customary to add "formal" to them.
			<br>This definition takes us directly to mathematics, or more precisely, mathematical logic, and all we have to do is agree on what '''data''' [https://ontologforum.com/index.php/Ontology(IT)#data] is. Otherwise, we would need to define for example "specification" and "conceptualization," and so on.

	== related terms ==		== related terms ==
	=== conceptualization ===		=== conceptualization ===
	"A body of formally represented knowledge is based on a conceptualization: the objects, concepts, and other entities that are presumed to exist in some area of interest and the relationships that hold them (Genesereth & Nilsson, 1987). A conceptualization is an abstract, simplified view of the world that we wish to represent for some purpose. Every knowledge base, knowledge-based system, or knowledge-level agent is committed to some conceptualization, explicitly or implicitly." [https://www.researchgate.net/publication/285158664_A_Translation_Approach_to_Formal_Ontologies <u>TG</u>]		"A body of formally represented knowledge is based on a conceptualization: the objects, concepts, and other entities that are presumed to exist in some area of interest and the relationships that hold them (Genesereth & Nilsson, 1987). A conceptualization is an abstract, simplified view of the world that we wish to represent for some purpose. Every knowledge base, knowledge-based system, or knowledge-level agent is committed to some conceptualization, explicitly or implicitly." [https://www.researchgate.net/publication/285158664_A_Translation_Approach_to_Formal_Ontologies <u>TG</u>]
	<span id="formal-language"></span>		<span id="formal-language"></span>
			=== data ===
			AS: (In everyday life, technology, and the sciences) Data is a number with a unit of measurement, or a collection or structure of numbers accompanied by units of measurement.
			<br>(In programming languages and IT) TBD.

	=== formal language ===		=== formal language ===
	AS: Chris Mungall has ontology on Python. Some Prolog programs are not ontology.		AS: Chris Mungall has ontology on Python. Some Prolog programs are not ontology.
	<span id="formal-vocabulary"></span>		<span id="formal-vocabulary"></span>
			=== formal theory ===
			AS: A formal theory is a finite system of interconnected axioms, definitions, rules of inference, theorems (hypotheses), and proofs.
			◽
			Note. If we put two unrelated theories together in one place, we will not get a new theory.
	=== formal vocabulary ===		=== formal vocabulary ===
	see in [https://docs.google.com/document/d/1N6vKV2FUly17U-gS7Sgzc67BxZUZz7h7mr6GJC9KexU/edit?tab=t.0#heading=h.6miig72wu0rq <u>IT-ontology DEFINITIONs</u>]		see in [https://docs.google.com/document/d/1N6vKV2FUly17U-gS7Sgzc67BxZUZz7h7mr6GJC9KexU/edit?tab=t.0#heading=h.6miig72wu0rq <u>IT-ontology DEFINITIONs</u>]

WikiHomePage

Ashkotin — Sat, 07 Nov 2026 04:42:47 GMT

← Older revision		Revision as of 04:42, 7 November 2026
(One intermediate revision by the same user not shown)
Line 2:		Line 2:
	'''Welcome to our "open dialog in ontology"!'''		'''Welcome to our "open dialog in ontology"!'''

	'''The Ontolog Forum is an open, international, virtual [[CommunityofPractice\|community of practice]] devoted to advancing the field of ontology, ontological engineering and semantic technology, and advocating their adoption into mainstream applications and international standards.'''		'''The Ontolog Forum is an open, international, virtual [[CommunityofPractice\|community of practice]] devoted to advancing the field of ontology, ontological engineering and semantic technology, and advocating their adoption into mainstream applications and international standards.''' [https://ontologforum.com/index.php/OntologCharter]

	== What is an ontology? ==		== What is an ontology? ==
Line 14:		Line 14:
	** [https://wiki.iaoa.org/index.php/Edu:Books Books]		** [https://wiki.iaoa.org/index.php/Edu:Books Books]
	** [https://wiki.iaoa.org/index.php/Edu:Term_List Terms and their definitions as used in applied ontology]		** [https://wiki.iaoa.org/index.php/Edu:Term_List Terms and their definitions as used in applied ontology]
			* [https://ontologforum.com/index.php/Ontology(IT)] is a collection of definitions from various sources.

	== Weekly Meeting ==		== Weekly Meeting ==

JuliaFoster

Forum — Mon, 02 Nov 2026 16:36:05 GMT

Created page with "= Julia Foster = I am a Knowledge Engineer and Data Analyst specializing in semantic web technologies and data modeling. My day-to-day work focuses on designing knowledge graphs, data integration pipelines, and structured metadata frameworks to improve system interoperability. My interest in ontology stems from a passion for data classification, conceptual modeling, and semantic web standards (like RDF and OWL). I am requesting to join the Ontolog Forum to learn from gl..."

New page

= Julia Foster =

I am a Knowledge Engineer and Data Analyst specializing in semantic web technologies and data modeling. My day-to-day work focuses on designing knowledge graphs, data integration pipelines, and structured metadata frameworks to improve system interoperability. My interest in ontology stems from a passion for data classification, conceptual modeling, and semantic web standards (like RDF and OWL). I am requesting to join the Ontolog Forum to learn from global experts, follow deep technical discussions, and stay updated on the best practices in knowledge engineering.

Ontolog Forum - Recent changes [en]

Ontology(IT)

WikiHomePage

JuliaFoster