5,789 Hits in 2.9 sec

Conceptual Analysis of Hypertext [article]

Robert E. Kent, Christian Neuss
2018 arXiv   pre-print
Various processes for the conceptual structuring of hypertext are discussed: summarization, conceptual scaling, and the creation of conceptual links.  ...  The automatic hyperization of the content of legacy data is described, and the composite conceptual structuring with hypertext linkage is defined.  ...  The use of conceptual knowledge systems is a natural outgrowth of the original formal concept analysis approach for structuring and organizing the networked information resources in the World Wide Web  ... 
arXiv:1810.07232v1 fatcat:b3mitwzzdndl7p4myoptoxh6ie

What Is an Ontology? [chapter]

Nicola Guarino, Daniel Oberle, Steffen Staab
2009 Handbook on Ontologies  
Definition 2.4 (Intensional relational structure, or conceptualization) An intensional relational structure (or a conceptualization according to Guar- For the sake of simplicity, we assume that the unary  ...  of ontological commitment, or intensional first order structure).  ... 
doi:10.1007/978-3-540-92673-3_0 dblp:series/ihis/GuarinoOS09 fatcat:vqohd6bc3vax5jvhfyxvlyciha

On the Definition of 'Ontology'

Fabian Neuhaus
2017 Joint Ontology Workshops  
Further, the analysis is based on implausible assumptions about the nature of conceptualizations.  ...  Guarino, Oberle and Staab offer a widely cited analysis of the term 'ontology ' [5].  ...  Acknowledgments I would like to thank Till Mossakowski for an interesting discussion on the nature of ontologies, which lead to this work.  ... 
dblp:conf/jowo/Neuhaus17 fatcat:b3qifw5xznfdfijtjmt5tcvtnm

That IS-IN Isn't IS-A: A Further Analysis of Taxonomic Links in Conceptual Modelling [chapter]

Jari Palomki, Hannu Kangassalo
2012 Advances in Knowledge Representation  
Accordingly, in this Chapter we are considering an intensional IS-IN relation which also forms a taxonomic hierarchy and a lattice-like structure.  ...  On the other hand, this IS-IN relation, unlike IS-A relation, is a conceptual relation between concepts, and it is basically intensional in its character.  ...  iFa}. An intensional containment relation Now, the relations between concepts enable us to make conceptual structures.  ... 
doi:10.5772/36484 fatcat:uezectrqirb6nmv73wzodkbwhi

Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts [chapter]

Andy Kellens, Kim Mens, Johan Brichau, Kris Gybels
2006 Lecture Notes in Computer Science  
We tackle this problem by declaring pointcuts in terms of a conceptual model of the base program, rather than defining them directly in terms of how the base program is structured.  ...  In addition, the conceptual model provides a means to verify where and why potential fragile pointcut conflicts occur, by imposing structural and semantic constraints on the conceptual model, that can  ...  Acknowledgements The authors appreciate the feedback received on previous drafts of this paper.  ... 
doi:10.1007/11785477_28 fatcat:bl35wgvv5vapzakikqyndbxuj4

Gnoseology-based Approach to Foundations of Informatics

Mykola Nikitchenko
2011 International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications  
On the conceptual level we propose to elucidate basic notions of informatics in integrity of their intensional and extensional aspects.  ...  In the paper we propose to use a gnoseology-based approach for developing methodological, conceptual, and formal levels of foundations.  ...  This approach specifies methodological, conceptual, and formal levels of foundations.  ... 
dblp:conf/icteri/Nikitchenko11 fatcat:6u7g3i5hpff75n2y25la4x2x7q

A Taxonomy of Classification Approaches in IS Research

Aurona Gerber, Richard L. Baskerville, Alta van der Merwe
2017 Americas Conference on Information Systems  
ToCA provides a language for scholars to describe and comment, as well as understand the impact of the diverse adoption of classification approaches within IS research.  ...  The main contribution of the paper is a proposed taxonomy of classification approaches (ToCA) that was validated by classifying approaches in relevant publications in three IS journals.  ...  A formal classification approach (extensional or intensional) is rigorous and the resulting classification artifact is usually a structured, multi-level, hierarchical, exhaustive and exclusive taxonomy  ... 
dblp:conf/amcis/GerberBM17 fatcat:56qzovz6nfcuvmcnnk4ukaynbu

Ontology and Ontology Construction: Background and Practices

Terje Aaberge, Rajendra Akerkar
2012 International Journal of Computer Science and Applications  
We also present two ways of conceiving ontology construction and ultimately, we survey common categories in the construction methods of ontology learning.  ...  This paper presents a view-point on the notion of 'ontology' and of ontology construction. Ontology construction cannot be seen in isolation, but must be considered in relation to its use.  ...  An ontology is a linguistic representation of the structural properties of a conceptual model for a domain of discourse.  ... 
dblp:journals/ijcsa/AabergeA12 fatcat:vibh2seymrb3lj4gzjrqlaazcm

Mathematical Knowledge Representation: Semantic Models and Formalisms [article]

Alexander Elizarov and Alexander Kirillovich and Evgeny Lipachev and Olga Nevzorova and Valery Solovyev and Nikita Zhiltsov
2014 arXiv   pre-print
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed.  ...  We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.  ...  Kirillovich would like to thank Evelina Khakimova (University of Virginia), Claudia Acevedo (Lemoine Editores), and Maria Isabel Duarte (EAFIT University) for the assistance in the work with bibliographic  ... 
arXiv:1408.6806v2 fatcat:zhgqrfztqrdz7nhacppjictbbe

The Relation between a Framework for Collaborative Ontology Engineering and Nicola Guarino's Terminology and Ideas in "Formal Ontology and Information Systems"

Christophe Debruyne
2013 Web Science Conference  
In this paper, we investigate the relation between Guarino's seminal paper "Formal Ontology and Information Systems" and the DOGMA ontology-engineering framework.  ...  As DOGMA is geared towards the development of ontologies for semantic interoperation between autonomously developed and maintained information systems, it follows that the stakeholders in this project  ...  An intensional interpretation of a language is by means of a structure C, I , where C = D, W, R is a conceptualization and I : V → D ∪ R a function assigning elements of D to constant symbols of V and  ... 
dblp:conf/websci/Debruyne13 fatcat:66l2hba2hbfrjndjuflc3iye6u

Formal approach to a web information system based on story algebra

Bálint Molnár, András Benczúr, Ádám Tarcsi
2012 Singidunum Journal of Applied Sciences  
The information aspect frequently incorporates in the form of unstructured or semi-structured document that indirectly influences the content of the underlying database through several tiers of the given  ...  The Story Algebra, or more generally the Process Algebra approach provides a formal framework that promises a formal describing method for modeling precisely the event triggered processes coupled with  ...  A virtual or intensional document exists at the user interface and conceptual level and it contains semi-structured form of all relevant information.  ... 
doi:10.5937/sjas1202063m fatcat:zfbl3uh5xvdwhh7howwvqvzo6e

An intensional perspective on the semantic and pragmatic web

Terje Aaberge, Rajendra Akerkar, Harold Boley
2011 International Journal of Metadata, Semantics and Ontologies  
After preliminary sketches and initial ideas, more formal attempts at characterising and defining pragmatic aspects of the web have recently emerged.  ...  Although some amount of scientific research and a number of applications have appeared under the name of the pragmatic web, there is not yet a common agreement on what the pragmatic web should be and how  ...  The method is based on an intensional formal semantics (Aaberge, 2009 (Aaberge, , 2010)) , i.e., a semantics that conceives the structure of the language to be determined via the conceptual model of the  ... 
doi:10.1504/ijmso.2011.042491 fatcat:7wcnm2b4cfd3rcpl2oi6o65k2u

Means to support the object traces in the conceptual modeling systems

L. Yu. Ismailova, S. V. Kosikov, V. E. Wolfengagen, J. V. Mazurova
2018 International Journal of Engineering & Technology  
The paper considers the problem of conceptual modeling of the domains, in which a large number of changes takes place, possesses a number of specific features.  ...  The paper presents an approach to the deter- mination and the support to the traces, based on using a combination of methods of the intensional logic and applicative computational systems.  ...  Description of the object traces The trace of the state in the proposed system is formalized as a relation on the set Asg. The intensional operator is the formal means to work with the object trace.  ... 
doi:10.14419/ijet.v7i4.5.21166 fatcat:iu3upd2hxzgp3dkfhqddhpwqhu

Generalized Property Graphs(GPG) of Property-Value Structures for Knowledge Model

2019 International journal of recent technology and engineering  
This paper proposes a noble generalized property graph model that can seamlessly realize knowledge structures with compact expressiveness and robust formalism.  ...  As a popular emerging technology, knowledge graphs (KGs) have become a platform of Web-based knowledge applications and services.  ...  This paper formally defines a property is a unary function to represent intensional features of the entity and relation.  ... 
doi:10.35940/ijrte.b1087.0982s1019 fatcat:7vr3xsgymbeqdoxw2emrl66hue

Reply to Gregory Landini's Review of Formal Ontology and Conceptual Realism

Nino B. Cocchiarella
2009 Axiomathes  
(1903) ontologies as opposed to how HST is understood as a (proper) part of my ontology of conceptual realism.  ...  realism, predication is based on the mutual saturation of referential and predicable concepts as unsaturated complementary cognitive structures, the result being a speech or mental act. 3 In Russell's  ...  of conceptual realism.  ... 
doi:10.1007/s10516-009-9060-9 fatcat:jrovl5kxazfwfj5fu2mopbtcom
« Previous Showing results 1 — 15 out of 5,789 results