Filters








1,410 Hits in 3.3 sec

Pushing the Boundaries of Tractable Ontology Reasoning [chapter]

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014 Lecture Notes in Computer Science  
We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable.  ...  We show empirically that the class includes many real-world ontologies that are not included in any OWL 2 profile, and thus that polynomial time reasoning is possible for these ontologies.  ...  Our aim is to push the tractability boundaries of lightweight ontology languages, and devise efficiently implementable reasoning algorithms that can be applied to most existing Horn ontologies.  ... 
doi:10.1007/978-3-319-11915-1_10 fatcat:kmfxv3jfnje23fb3cw5l6vpboa

Infodynamics: Analogical analysis of states of matter and information

Marion G. Ceruti, Stuart H. Rubin
2007 Information Sciences  
It includes but is not limited to pressure, expressiveness, temperature, tractability, degrees of order, systems of liquid-liquid equilibrium and disjunction in information-systems integration.  ...  It includes but is not limited to pressure, expressiveness, temperature, tractability, degrees of order, systems of liquidliquid equilibrium and disjunction in information-systems integration.  ...  Acknowledgments The authors thank the Defense Advanced Research Projects Agency, Office of Naval Research and the SSC-SD Science and Technology initiative for financial support.  ... 
doi:10.1016/j.ins.2006.07.006 fatcat:tulre7jpv5hthmzw7cknglbivi

Ontology Engineering with Rough Concepts and Instances [chapter]

C. Maria Keet
2010 Lecture Notes in Computer Science  
Although OWL 2 QL is insufficient to represent most of rough set's semantics, the mapping layer of its Ontology-Based Data Access framework that links concepts in the ontology to queries over the data  ...  A scenario in ontology development and its use is hypothesis testing, such as finding new subconcepts based on the data linked to the ontology.  ...  Acknowledgements I thank Umberto Straccia, Ferdinando Bobillo, and Mariano Rodríguez-Muro for feedback during the experimentation.  ... 
doi:10.1007/978-3-642-16438-5_40 fatcat:fssri5wzyzfbtkdmgppfvl4glm

The Montagues and the Capulets

Carole Goble, Chris Wroe
2004 Comparative and Functional Genomics  
The fruitful passage of their GO-mark'd love, And the continuance of their studies sage, Which, united, yield ontologies undreamed-of, Is now the hour's traffic of our stage; The which if you with patient  ...  Two households, both alike in dignity, In fair Genomics, where we lay our scene, (One, comforted by its logic's rigour, Claims ontology for the realm of pure, The other, with blessed scientist's vigour  ...  Acknowledgements We would like to thank Robert Stevens, Chris Catton and William Shakespeare for ideas that contributed to this article and the SOFG talk that originated it.  ... 
doi:10.1002/cfg.442 pmid:18629186 pmcid:PMC2447479 fatcat:khhi5uot55gfxo3xtlxntnyvci

A CONCEPTUAL MODEL FOR THE REPRESENTATION OF LANDFORMS USING ONTOLOGY DESIGN PATTERNS

Eric Guilbert, Bernard Moulin, Andrés Cortés Murcia
2016 ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
The first level of our model defines general concepts forming a landform prototype while the second level provides a model for the translation of these concepts and landform extraction on a DTM.  ...  Hence landforms are difficult to formalise in view of their extraction from a DTM. This paper presents a two-level framework for the representation of landforms.  ...  Data were provided by the Canadian Hydrographic Service.  ... 
doi:10.5194/isprs-annals-iii-2-15-2016 fatcat:7oqdcjrjqbfrbbvcwslbnnifya

A CONCEPTUAL MODEL FOR THE REPRESENTATION OF LANDFORMS USING ONTOLOGY DESIGN PATTERNS

Eric Guilbert, Bernard Moulin, Andrés Cortés Murcia
2016 ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
The first level of our model defines general concepts forming a landform prototype while the second level provides a model for the translation of these concepts and landform extraction on a DTM.  ...  Hence landforms are difficult to formalise in view of their extraction from a DTM. This paper presents a two-level framework for the representation of landforms.  ...  Data were provided by the Canadian Hydrographic Service.  ... 
doi:10.5194/isprsannals-iii-2-15-2016 fatcat:2n7lpntw2vehxdqz34l2c2uvai

Controlled English Ontology-Based Data Access [chapter]

Camilo Thorne, Diego Calvanese
2010 Lecture Notes in Computer Science  
On the other hand, querying, e.g., a relational database or an ontology-based data access system is a well-defined and unambigous task, namely, the task of evaluating a formal query (e.g., an SQL query  ...  As a measure of their efficiency for data access, we propose to consider data complexity, which is the complexity of query evaluation measured in the size of the data.  ...  We thank Raffaella Bernardi and Norbert Fuchs for discussions and criticism regarding earlier versions of this paper.  ... 
doi:10.1007/978-3-642-14418-9_9 fatcat:bw3yno2nt5dwlixbfpzuljca2q

Coherence versus fragmentation in the development of the concept of force

Andrea A. diSessa, Nicole M. Gillespie, Jennifer B. Esterly
2004 Cognitive Science  
within even the category of subjects (having one particular meaning associated with "force") that best survived our quasi-replication; (3) We found much reasoning of subjects about forces that cannot  ...  We take up the question of whether naïve physical ideas are coherent or fragmented, building specifically on recent work supporting claims of coherence with respect to the concept of force by Ioannides  ...  Preschool subjects were arranged with the help of the Berkeley Institute for Human Development.  ... 
doi:10.1207/s15516709cog2806_1 fatcat:s4mlgpmjlnbrxifdi744zgfjom

Coherence versus fragmentation in the development of the concept of force

A DISESSA, N GILLESPIE, J ESTERLY
2004 Cognitive Science  
within even the category of subjects (having one particular meaning associated with "force") that best survived our quasi-replication; (3) We found much reasoning of subjects about forces that cannot  ...  We take up the question of whether naïve physical ideas are coherent or fragmented, building specifically on recent work supporting claims of coherence with respect to the concept of force by Ioannides  ...  Preschool subjects were arranged with the help of the Berkeley Institute for Human Development.  ... 
doi:10.1016/j.cogsci.2004.05.003 fatcat:ntdtdh7rj5em3pqdontdkkqb6q

Ontology Query Answering on Databases [chapter]

Jing Mei, Li Ma, Yue Pan
2006 Lecture Notes in Computer Science  
We believe such a processing suitable to capture ontologies in the database flavor, while keeping reasoning tractable.  ...  With the fast development of Semantic Web, more and more RDF and OWL ontologies are created and shared.  ...  More tractably, DL-lite [6] is proposed to execute the ABox using a SQL engine, whose language itself is restrictive while keeping low complexity of reasoning, namely polynomial in the size of instances  ... 
doi:10.1007/11926078_32 fatcat:fq7fotzxlja2hmfiix3hhbr36u

Neuro-Symbolic Entropy Regularization [article]

Kareem Ahmed, Eric Wang, Kai-Wei Chang, Guy Van den Broeck
2022 arXiv   pre-print
This loss is efficiently computed when the output constraint is expressed as a tractable logic circuit.  ...  It extracts supervision from unlabeled examples, but remains agnostic to the structure of the output space.  ...  directly implements the above assumption, requiring the classifier output confident -low-entropy -predictive distributions , pushing the decision boundary away from m Figure Figure1: A network's predictive  ... 
arXiv:2201.11250v1 fatcat:6li4zcdrknaxzc3whcnlkp27qm

The hegemony of the physical sciences: an exploration in complexity thinking

Kurt Richardson
2005 Futures : The journal of policy, planning and futures studies  
This paper begins with an extended discussion concerning the main features of a complex system, and the nature of the boundaries that emerge within such systems.  ...  Subsequent to this discussion, and by assuming that the Universe at some level can be well-described as a complex system, the paper explores the notion of ontology, or existence, from a complex systems  ...  Acknowledgements I would like to thank I.S.C.E. and Dr Michael Lissack for supporting the research leading to this paper and many others.  ... 
doi:10.1016/j.futures.2004.11.008 fatcat:zl2lspa7qvdbpfi7ujjbgenj7q

Query answering over ontologies specified via database dependencies

Cristina Civili
2014 Proceedings of the 2014 SIGMOD PhD symposium on - SIGMOD'14 PhD Symposium  
In this work we present a novel graph-based approach for studying the tractability of query answering over ontologies expressed by means of tuple-generating dependencies (TGDs).  ...  We do this by defining a new class of TGDs that subsumes all the other known classes that enjoy a particularly desirable property called first-order rewritability of query answering.  ...  Question 2 -In doing so, is it possible to push the boundaries even further by allowing to express patterns that are outside of the scope of the other classes, yet do not increase the complexity of query  ... 
doi:10.1145/2602622.2602632 dblp:conf/sigmod/Civili14 fatcat:pb63iublkffwdftwduwdqllmhu

Retrieval of Patent Documents from Heterogeneous Sources Using Ontologies and Similarity Analysis

Siddharth Taduri, Gloria T. Lau, Kincho H. Law, Jay P. Kesan
2011 2011 IEEE Fifth International Conference on Semantic Computing  
We tackle the terminological inconsistency issue by exploring domain knowledge through the use of ontology standards.  ...  Among the challenges is the issue of terminological inconsistencies that are used in the documents.  ...  Any opinions and findings are those of the authors, and do not necessarily reflect the views of the National Science Foundation.  ... 
doi:10.1109/icsc.2011.34 dblp:conf/semco/TaduriLLK11 fatcat:q3aitvd6p5dq7huyzen7m6u4su

Dynamic service matchmaking among agents in open information environments

Katia Sycara, Matthias Klusch, Seth Widoff, Jianguo Lu
1999 SIGMOD record  
across boundaries.  ...  Complex reasoning has to be restricted to allow meaningful semantic matches of requests and advertisements in a reasonable time.  ... 
doi:10.1145/309844.309895 fatcat:extkcgmxundwhffpcznfuzhydm
« Previous Showing results 1 — 15 out of 1,410 results