Filters








3,180 Hits in 7.5 sec

Providing Alternative Declarative Descriptions for Entity Sets Using Parallel Concept Lattices [chapter]

Thomas Gottron, Ansgar Scherp, Stefan Scheglmann
2014 Lecture Notes in Computer Science  
We propose an approach for modifying a declarative description of a set of entities (e.g., a SPARQL query) for the purpose of finding alternative declarative descriptions for the entities.  ...  Our approach is based on the construction of parallel formal concept lattices over different sets of attributes for the same entities.  ...  Using Parallel Lattices to Derive Alternative Descriptions We now present our idea of building parallel concept lattices and how to exploit mappings between theses lattices for finding alternative descriptions  ... 
doi:10.1007/978-3-319-07443-6_25 fatcat:lbmrv22kpfaibaxycqj65xu4ee

Relational concept discovery in structured datasets

M. Huchard, M. Rouane Hacene, C. Roume, P. Valtchev
2007 Annals of Mathematics and Artificial Intelligence  
The borders for the application of the relational mining task are provided by what we call a relational context family, a set of binary data tables representing individuals of various sorts (e.g., human  ...  We present a method for constructing concepts on top of circular descriptions which is based on an iterative approximation of the final solution.  ...  The former two get credits for the experimental results as well.  ... 
doi:10.1007/s10472-007-9056-3 fatcat:y4swb3z4z5enlohhldmxw5oqba

Supporting scientific knowledge discovery with extended, generalized Formal Concept Analysis

Francisco J. Valverde-Albacete, José María González-Calabozo, Anselmo Peñas, Carmen Peláez-Moreno
2016 Expert systems with applications  
With these extensions we demonstrate the versatility of the Landscapes of Knowledge metaphor to help in creating new scientific and engineering knowledge by providing several successful use cases of our  ...  We use extended FCA first by allowing K-valued entries in the incidence to accommodate other, non-binary types of data, and second with different modes of creating formal concepts to accommodate diverse  ...  Acknowledgments FJVA and AP were partially supported by EU FP7 project LiMo-SINe (contract 288024) for this research.  ... 
doi:10.1016/j.eswa.2015.09.022 fatcat:l7fequzx65hkxkrota5umcgtoa

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility [article]

Christoph Lange and Till Mossakowski and Oliver Kutz and Christian Galinski and Michael Grüninger and Daniel Couto Vale
2012 arXiv   pre-print
It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies.  ...  It focuses on use cases where distributed ontologies enable interoperability and reusability.  ...  1. first of all benefit end users (such as elderly people and persons with disabilities in the AAL use case introduced in section 3.4), 2. benefit also small content and service providers, 3. be affordable  ... 
arXiv:1208.0293v1 fatcat:pwy6gbwaqfduvfuggd5y2yupyq

On "zero" and semantic plurality

Lisa Bylinina, Rick Nouwen
2018 Glossa  
We conclude that the fact that languages allow ascription of zero quantity to an entity provides evidence that linguistic semantics has access to what at first sight may seem like an ontological oddity  ...  : an entity with zero quantity.  ...  Acknowledgements The research leading to these results has received funding from the Netherlands Organisation for Scientific Research/VENI Grant no. 275-70-045 (first author) and the European Research  ... 
doi:10.5334/gjgl.441 fatcat:uvr3eksel5dufktxuoehxugub4

ELICITATION, REPRESENTATION AND MANAGEMENT OF SOFTWARE DESIGN KNOWLEDGE

Behrouz H. Far, Mohsen Afsharchi
2011 Proceedings of the Canadian Engineering Education Association (CEEA)  
We have found that there are two types of knowledge involved in software development: (1) descriptive knowledge represented by conversion and coding rules, e.g., a rule for splitting a class into two;  ...  In this research we focus on understanding the nature of the knowledge used during the various phases of the software development process.  ...  As with XML, the RDF data model provides no mechanisms for declaring property names that are to be used.  ... 
doi:10.24908/pceea.v0i0.3941 fatcat:qv3df5qfvvfylmlg6ojtprcq3a

On Using Conceptual Modeling for Ontologies [chapter]

S. Spaccapietra, C. Parent, C. Vangenot, N. Cullot
2004 Lecture Notes in Computer Science  
Are database concepts and techniques suitable for ontology design and management? The question has been on the floor for some time already.  ...  This paper analyzes some of the arguments that are relevant to the debate, in particular the question whether conceptual data models would adequately support the design and use of ontologies.  ...  Alternatives for the description of these mappings are well documented in the literature.  ... 
doi:10.1007/978-3-540-30481-4_3 fatcat:3rbtjioij5cf3l4b4orbfdt53m

Generating and Comparing Models within an Ontology

Trent Apted, Judy Kay
2002 Australasian Document Computing Symposium  
An ontology is useful for providing a conceptually concise basis for developing and communicating knowledge.  ...  The entity might be a document such as an email message, a course description document or a biography. It is intended to give a measure of the similarity of any two such models.  ...  Another similar project, [13] , also uses lattices for inferring user interests. However, it uses the lattices as a basis for interacting with the user to elicit an expanded self-description.  ... 
dblp:conf/adcs/AptedK02 fatcat:dmtjet4w3ratbaglwrdyrni2fi

Using SPARQL to Test for Lattices: Application to Quality Assurance in Biomedical Ontologies [chapter]

Guo-Qiang Zhang, Olivier Bodenreider
2010 Lecture Notes in Computer Science  
RDF, SPARQL and related tooling provide an eAEcient platform for implementing lattice algorithms on large data structures.  ...  The use case for this work is quality assurance in biomedical ontologies, one desirable property of which is conformance to lattice structures.  ...  research was supported in part by the Intramural Research Program of the National Library of Medicine (NLM), and in part by Clinical and Translational Science Award (UL1 RR024989) from the National Center for  ... 
doi:10.1007/978-3-642-17749-1_18 pmid:25699294 pmcid:PMC4330995 fatcat:srdrq2xsmff53bgw3cmugzbyxe

Whitehead's Poetical Mathematics

Xin Wei. Sha
2005 Configurations  
Whitehead makes an unexamined relation between serve as a radically fertile alternative.39 Lattice theory provides a way to work with sets without any reference to constituent points, starting only  ...  Badiou, who has made much use of contemporary set theory as a philosophical alternative to symbolic logic.  ... 
doi:10.1353/con.2007.0013 fatcat:cf5qy5ytungn3gssbmtlqj3sly

Parallelisation strategies for agent based simulation of immune systems

Mozhgan Kabiri Chimeh, Peter Heywood, Marzio Pennisi, Francesco Pappalardo, Paul Richmond
2019 BMC Bioinformatics  
The advantage and disadvantage of each implementation is discussed showing each can be used as the basis for developing complete immune system models on parallel hardware.  ...  Simulating massive multi-agent systems (i.e. simulations containing a large number of agents/entities) requires major computational effort which is only achievable through the use of parallel computing  ...  In this section we describe the FLAME GPU framework used for our implementations; the properties and behaviour of our simplified pairwise model; and provide implementation details of the three alternate  ... 
doi:10.1186/s12859-019-3181-y pmid:31823716 pmcid:PMC6905091 fatcat:7oe3wdv23ne3ngaumiwvtoiuyu

The cell behavior ontology: describing the intrinsic biological behaviors of real and model cells seen as active agents

James P. Sluka, Abbas Shirinifard, Maciej Swat, Alin Cosmanescu, Randy W. Heiland, James A. Glazier
2014 Bioinformatics  
The Cell Behavior Ontology (CBO) provides a basis for describing the spatial and observable behaviors of cells and extracellular components suitable for describing in vivo, in vitro and in silico multicell  ...  Availability and implementation: The CBO, developed using Prot eg e 4, is available at  ...  This work used the Prot eg e resource, supported by grant LM007885 from the US National Library of Medicine to Stanford University. Conflict of Interest: none declared.  ... 
doi:10.1093/bioinformatics/btu210 pmid:24755304 pmcid:PMC4133580 fatcat:5qg6qe2vxbcszafo47nqev5tje

Principles for Language Extensions to VHDL to Support High-Level Modeling

Peter J. Ashenden, Philip A. Wilsey
1999 VLSI design (Print)  
The paper presents a detailed discussion of issues to be considered in adding high-level modeling extensions to VHDL, including concurrency and communication, abstraction using entity interfaces, object-oriented  ...  This paper reviews proposals for extensions to VHDL to support high-level modeling and places them within a taxonomy that describes the modeling requirements they address.  ...  entity or architecture declaration.  ... 
doi:10.1155/1999/20186 fatcat:z3ff3a7rwbdtnlhd4dxf5ayxqa

Semantic networks

Fritz Lehmann
1992 Computers and Mathematics with Applications  
Almost all systems have structured concept-hierarchies or taxonomies used for this kind of derivation (described in Section 6), and these hierarchies themselves are also 'semantic networks.'  ...  A knowledgeable person will spot obvious errors in a description whereas a dolt will just accept it.  ...  The OMEGA language for formal descriptions [84] induces a lattice of terms and expressions.  ... 
doi:10.1016/0898-1221(92)90135-5 fatcat:4nli67lrsjdzdiu56i5ixwhm2a

Nanoscale control of competing interactions and geometrical frustration in a dipolar trident lattice

Alan Farhan, Charlotte F. Petersen, Scott Dhuey, Luca Anghinolfi, Qi Hang Qin, Michael Saccone, Sven Velten, Clemens Wuth, Sebastian Gliga, Paula Mellado, Mikko J. Alava, Andreas Scholl (+1 others)
2017 Nature Communications  
Our findings not only provide the basis for future studies on the low-temperature physics of the dipolar trident lattice, but also demonstrate how this frustration-by-design concept can deliver magnetically  ...  Geometrical frustration occurs when entities in a system, subject to given lattice constraints, are hindered to simultaneously minimize their local interactions.  ...  Acknowledgements We would like to thank Sujoy Roy, Guido Meier, Peter Fischer, Kevin Franke, and Zoe Budrikis for their support and fruitful discussions.  ... 
doi:10.1038/s41467-017-01238-4 pmid:29042556 pmcid:PMC5727135 fatcat:solhm6lgbjbsbb6oc6bmqpb2jq
« Previous Showing results 1 — 15 out of 3,180 results