#### Filter Results:

- Full text PDF available (46)

#### Publication Year

1998

2016

- This year (0)
- Last 5 years (18)
- Last 10 years (36)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar
- Modular Ontologies
- 2009

We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of multiple ontology modules (each of which can be viewed as a SHOIQ ontology) and concept, role and nominal names can be shared by "importing'' relations among modules. SHOIQP supports… (More)

Recent studies of the algebraic properties of bilattices have provided insight into their internal structures, and have led to practical results, especially in reducing the computational complexity of bilattice-based multi-valued logic programs. In this paper the representation theorem for interlaced bilattices with negation found in 18] and extended to… (More)

- George Voutsadakis
- Studia Logica
- 2003

- George Voutsadakis
- Order
- 2002

The framework and the basic results of Wille on triadic concept analysis, including his Basic Theorem of Triadic Concept Analysis, are here generalized to n-dimensional formal contexts. Mathematics Subject Classifications (2000): Primary: 06A23; secondary: 62-07.

It is very well known and permeating the whole of mathematics that a closure operator on a given set gives rise to a closure system, whose constituent sets form a complete lattice under inclusion, and vice-versa. Recent work of Wille on triadic concept analysis and subsequent work by the author on polyadic concept analysis led to the introduction of… (More)

- George Voutsadakis
- Applied Categorical Structures
- 2002

The framework developed by Blok and Pigozzi for the algebraizability of deductive systems is extended to cover the algebraizability of multisignature logics with quantifiers. Institutions are used as the supporting structure in place of deductive systems. In particular, the concept of an algebraic institution and that of an algebraizable institution are… (More)

- George Voutsadakis
- Applied Categorical Structures
- 2005

Algebraic systems play in the theory of algebraizability of π -institutions the role that algebras play in the theory of algebraizable sentential logics. In this same sense, I-algebraic systems are to a π -institution I what S-algebras are to a sentential logic S. More precisely, an (I, N)-algebraic system is the sentence functor reduct of an N ′-reduced… (More)

- George Voutsadakis
- Notre Dame Journal of Formal Logic
- 2005

An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as… (More)

- George Voutsadakis
- Studia Logica
- 2003

- George Voutsadakis
- Reports on Mathematical Logic
- 2006

Received 17 September 2004