A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Conceptual Analysis of Hypertext
[article]
2018
arXiv
pre-print
Preserved Fulltext
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]
2009
Handbook on Ontologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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'
2017
Joint Ontology Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Advances in Knowledge Representation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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}. www.intechopen.com
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
Americas Conference on Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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"
2013
Web Science Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
Singidunum Journal of Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Journal of Metadata, Semantics and Ontologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Journal of Engineering & Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
Axiomathes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
(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