UNA meaning in Maths ?

Answer: What is Unique Names Assumption mean?

The unique name assumption is a simplifying assumption made in some ontology languages and description logics. In logics with the unique name assumption, different names always refer to different entities in the world.It was included in Ray Reiter's discussion of the closed-world assumption often tacitly included in Database Management Systems (e.g. SQL) in his 1984 article "Towards a logical reconstruction of relational database theory" (in M. L. Brodie, J. Mylopoulos, J. W. Schmidt (editors), Data Modelling in Artificial Intelligence, Database and Programming Languages, Springer, 1984, pages 191–233).

The standard ontology language OWL does not make this assumption, but provides explicit constructs to express whether two names denote the same or distinct entities.

owl:sameAs is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to the same individual or entity.owl:differentFrom is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to different individuals or entities. reference

Full Form	Category
University Network Access	Academic & Science
Universities And A	Academic & Science
University of North Alabama	Academic & Science
United Nations Archives	Academic & Science
UNova, Inc.	Business
Utah Nurses Association	Community
United Nations Associations	Community
United Nurses of Alberta	Community
United Nations Association of the USA	Community
United Nations Association	Community
Utah Nonprofits Association	Community
Union of North America	Community
United Networking Applications	Computing
UNA Networking Applications	Computing
Universal Network Architecture	Computing
Unix Network Administration	Computing
Upstream Neighbors Address	Computing
Urea Nitrogen Appearance	General
United Native American	General
United Native Americans	General
United Network Associates	General
Ukrainian National Antivirus	General
USA of Nashville Advertisement	General
Uchronic Nerd Alliance	General
United North America	General
Use No Abbreviations	General
Universidad Nacional Agraria	General
Use New Art	General
Universal Network Analyzer	General
United Nations Attended	Governmental
Universal Adult Franchise	Governmental
United Nationalities Alliance	Governmental
United Nationalist Alliance	Governmental
UNA	Indian Railway Station
Unique Names Arxiv	Internet
Unique Names Assumption	Maths
Universal Nursing Application	Medical
Uniqueness of Names Assumption	Networking