On the consistency and independence of some set-theoretical axioms.

Abian, Alexander; LaMacchia, Samuel

doi:10.1305/ndjfl/1093888220

Cited by 9 publications

(10 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Building element concepts will be described with the syntax which is similar to semantics of description logic (DL) [6] which is defined by interpreting concepts as sets of individuals/objects and roles as sets of pairs of individuals/objects. Definitions here are based on axioms of ZFC (ZermeloFraenkel set theory with the axiom of choice) set theory [14] and DL (Description Logic) [27] related expressions [6] by default.…”

Section: A Empirical Knowledge Definitionmentioning

confidence: 99%

Managing Semantics Knowledge for 3D Architectural Reconstruction of Building Objects

Duan

Cruz

Nicolle

2010

2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications

View full text Add to dashboard Cite

this work aims at bound geometrical detection of 3D objects from a point cloud using semantic descriptors to improve reusability of architectural building reconstruction and aid automatic reasoning in building information modeling (BIM). Based on exploring cognitive origins of spatial semantics representations, semantics conceptualization and classification is proposed for management of architectural objects. The knowledge classification is formalized with transformations among closed world assumption (CWA) and open world assumption (OWA). Initial case study of a building prototype complying with the IFC standard reveals the organization of empirical knowledge rules and semantics scopes both in a bottom up manner of geometry topology semantics, and vice versa.

show abstract

Section: A Empirical Knowledge Definitionmentioning

confidence: 99%

Managing Semantics Knowledge for 3D Architectural Reconstruction of Building Objects

Duan

Cruz

Nicolle

2010

2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications

View full text Add to dashboard Cite

show abstract

“…In addition, building element concepts will be described with the syntax which is similar to semantic of description logic (DL) [30] which is defined by interpreting concepts as sets of individuals/objects and roles as sets of pairs of individuals/objects. The definitions here are based on axioms of ZFC (Zermelo-Fraenkel set theory with the axiom of choice) set theory [15] and DL (Description Logic) [21] related expressions [5] by default.…”

Section: Ontology Overviewmentioning

confidence: 99%

Architectural Reconstruction of 3D Building Objects through Semantic Knowledge Management

Duan

Cruz

Nicolle

2010

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed C

View full text Add to dashboard Cite

Abstract-This paper presents an ongoing research which aims at combining geometrical analysis of point clouds and semantic rules to detect 3D building objects. Firstly by applying a previous semantic formalization investigation, we propose a classification of related knowledge as definition, partial knowledge and ambiguous knowledge to facilitate the understanding and design. Secondly an empirical implementation is conducted on a simplified building prototype complying with the IFC standard. The generation of empirical knowledge rules is revealed and semantic scopes are addressed both in the bottom up manner along the line of geometry  topology  semantic, and a vice versa top down manner. Concrete implementation is on the platform of protégé with Semantic Web Rule Language (SWRL).

show abstract

“…Natural number encodings of hereditarily finite sets have triggered the interest of researchers in fields ranging from Axiomatic Set Theory and Foundations of Logic to Complexity Theory and Combinatorics [Takahashi 1976, Kaye and Wong 2007, Abian and Lamacchia 1978, Kirby 2007.…”

Section: Related Workmentioning

confidence: 99%

An embedded declarative data transformation language

Tarau

2009

Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutations, digraphs, DAGs, hypergraphs, etc.) and automatically derived extensions to hereditarily finite universes through ranking/unranking operations.An embedded higher order combinator language provides anyto-any encodings automatically.Applications range from stream iterators on combinatorial objects and uniform generation of random instances to succinct data representations and serialization of Prolog terms.The self-contained source code of the paper, as generated from a literate Prolog program, is available at

show abstract

On the consistency and independence of some set-theoretical axioms.

Cited by 9 publications

References 1 publication

Managing Semantics Knowledge for 3D Architectural Reconstruction of Building Objects

Managing Semantics Knowledge for 3D Architectural Reconstruction of Building Objects

Architectural Reconstruction of 3D Building Objects through Semantic Knowledge Management

An embedded declarative data transformation language

Contact Info

Product

Resources

About