|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 118 occurrences of 89 keywords
|
|
|
|
|
Results
Found 202 publication records. Showing 202 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Norihiro Ogata |
A Formal Ontology Discovery from Web Documents.  |
Web Intelligence  |
2001 |
DBLP DOI BibTeX RDF |
XML, Web, NLP, logic programming, formal ontology |
| 2 | Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak |
Towards a formal ontology for history of church administration. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Chunxia Zhang, Guiping Wang, Zhendong Niu |
A formal ontology for temporal entities and its application in knowledge extraction. |
JCDL |
2008 |
DBLP DOI BibTeX RDF |
temporal entity, temporal knowledge acquisition, time ontology |
| 2 | Karin Koogan Breitman, Michael G. Hinchey |
The Use of Formal Ontology to Specify Context in Ubiquitous Computing. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Norihiro Ogata |
Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming. |
IWIC |
2007 |
DBLP DOI BibTeX RDF |
Formal Cultural Ontology, qualia, ethnic group, Functional Programming, culture, Type Theory |
| 2 | Mathias Niepert, Cameron Buckner, Colin Allen |
A dynamic ontology for a dynamic reference work. |
JCDL |
2007 |
DBLP DOI BibTeX RDF |
information retrieval, metadata, information extraction, digital humanities, formal ontology, link mining, dynamic ontology |
| 2 | Andrew U. Frank |
Towards a Mathematical Theory for Snapshot and Temporal Formal Ontologies. |
AGILE Conf. |
2007 |
DBLP DOI BibTeX RDF |
temporal ontology, functional representation of ontological committment, ontology, Interoperability, logic, temporal, formal ontology |
| 2 | Mustafa Jarrar |
Position paper: towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
deogmamodeler, formal ontology engineering, ontologies and wordnet, ontology, wordnet, lexical semantics, gloss |
| 2 | Pawel Garbacz |
An Outline of a Formal Ontology of Genres. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Hongwei Zhu 0002, Stuart E. Madnick |
Scalable Interoperability Through the Use of COIN Lightweight Ontology. |
ODBIS |
2006 |
DBLP DOI BibTeX RDF |
lightweight ontology, scalability, context, mediation, semantic heterogeneity, formal ontology |
| 2 | Mustafa Jarrar |
Modularization and Automatic Composition of Object-Role Modeling (ORM) Schemes. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
Formal ontology engineering, DogmaModeler, Ontology, Composition, Modularization, Conceptual Modeling, Reusability, Maintainability, Distributed Development, ORM, DOGMA, Object Role Modeling, NIAM |
| 2 | Sungsoon Hwang |
Using Formal Ontology for Integrated Spatial Data Mining. |
ICCSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Nicola Guarino |
Helping People (and Machines) Understanding Each Other: The Role of Formal Ontology. |
CoopIS/DOA/ODBASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Chunxia Zhang, Cungen Cao, Fang Gu, Jinxin Si |
A Domain-Specific Formal Ontology for Archaeological Knowledge Sharing and Reusing. |
PAKM |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Nicola Guarino, Christopher A. Welty |
A Formal Ontology of Properties. |
EKAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Jonathan P. Moore, Robert Inder, Paul W. H. Chung, Ann Macintosh, Jussi Stader |
Combining and Adapting Process Patterns for Flexible Workflow. (PDF / PS) |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
intelligent process management support, complex engineering domains, dynamic pattern composition, process patterns, formal ontology, workflow management software, flexible workflow |
| 2 | Christopher A. Welty, David A. Ferrucci |
A Formal Ontology for Re-Use of Software Architecture Documents. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazem Sadegh-Zadeh |
Fuzzy Formal Ontology. |
Soft Computing in Humanities and Social Sciences |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingxu Wang, Yousheng Tian, Kendall Hu |
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra. |
IJCINI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Kassel |
A formal ontology of artefacts. |
Applied Ontology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh Tavva, Navjyoti Singh |
Generative Graph Grammar of Neo-Vaisesika Formal Ontology (NVFO). |
Sanskrit Computational Linguistics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antony Galton, Riichiro Mizoguchi (eds.) |
Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010 |
FOIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Aurelien Arena, Jean-Pierre Desclés |
A Formal Ontology for a Computational Approach of Time and Aspect. |
IceTAL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosia Togia, Fiona McNeill, Alan Bundy |
Harnessing the power of folksonomies for formal ontology matching on-the-fly. |
OM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Simon Scheider, Florian Probst, Krzysztof Janowicz |
Constructing Bodies and their Qualities from Observations. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Jeffry Pelletier |
Ontological Lessons from the Semantics of Mass and Count Nouns. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Bennett |
Foundations for an Ontology of Environment and Habitat. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong |
Ontology Verification with Repositories. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Benn |
Using the cDnS ontology as upper-level for a Scholarly Debate Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubomir Stanchev, Grant E. Weddell |
On Building an Index Advisor for Semantic Web Queries. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Rector |
Knowledge Driven Software and "Fractal Tailoring": Ontologies in development environments for clinical systems. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Janna Hastings, Colin R. Batchelor, Christoph Steinbeck, Stefan Schulz |
What are chemical structures and their relations? |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xing Tan |
SCOPE: A Situation Calculus Ontology of Petri Nets. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anusuriya Devaraju, Werner Kuhn |
A Process-Centric Ontological Approach for Integrating Geo-Sensor Data. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, William C. Regli |
Ontologies for Distributed Command and Control Messaging. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin R. Batchelor, Janna Hastings, Christoph Steinbeck |
Ontological dependence, dispositions and institutional reality in chemistry. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinobu Kitamura, Riichiro Mizoguchi |
Characterizing Functions based on Ontological Models from an Engineering Point of View. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bénédicte Batrancourt, Michel Dojat, Bernard Gibaud, Gilles Kassel |
A core ontology of instruments used for neurological, behavioral and cognitive assessments. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giancarlo Guizzardi |
On the Representation of Quantities and their Parts in Conceptual Modeling. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Masolo |
Founding properties on measurement. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Vignolo |
Towards an Ontology of Products. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry R. Hobbs, Andrew S. Gordon |
Goals in a Formal Theory of Commonsense Psychology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman |
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Schneider |
Revisiting the Ontological Square. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chimezie Ogbuji, Sivaram Arabandi, Songmao Zhang, Guo-Qiang Zhang |
Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gintare Grigonyte, Mathias Brochhausen, Luis Martín, Manolis Tsiknakis, Johann Haller |
Evaluating Ontologies with NLP-Based Terminologies - A Case Study on ACGT and Its Master Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Dumontier, Robert Hoehndorf |
Realism for scientific ontologies. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Towards Ontological Correctness of Part-whole Relations with Dependent Types. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Atalay Özgövde, Michael Grüninger |
Foundational Process Relations in Bio-Ontologies. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Goldfain, Barry Smith, Lindsay G. Cowell |
Dispositions and the Infectious Disease Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Ortmann, Werner Kuhn |
Affordances as Qualities. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Monalessa Perini Barcellos, Ricardo de Almeida Falbo, Rodrigo Dal Moro |
A Well-Founded Software Measurement Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Bateman |
Ontological diversity: the case from space. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seon Gyu Park, Sungin Lee, Myeng-Ki Kim, Hong-Gee Kim |
The Use of Ontology in Dental Restorative Treatment Decision Support System. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Rama Fiorini, Mara Abel, Claiton M. S. Scherer |
A Symbol Grounding Model for Semantic Interpretation of 2-D Line Charts. |
EDOCW |
2010 |
DBLP DOI BibTeX RDF |
semantic image interpretation, stratigraphic interpretation, formal ontology, visual knowledge |
| 1 | Veruska Zamborlini, Giancarlo Guizzardi |
On the Representation of Temporally Changing Information in OWL. |
EDOCW |
2010 |
DBLP DOI BibTeX RDF |
Temporally changing information, Knowledge Representation, OWL, Description Logics, Formal Ontology |
| 1 | Hannes Michalek |
A formal ontological approach to causality embedded in the top level ontology of GFO (General Formal Ontology). |
|
2009 |
RDF |
|
| 1 | Stephan Grimm |
A Unifying Formal Ontology Model - A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research. |
KEOD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Guido Vetere |
From Data to Knowledge, the Role of Formal Ontology. |
FOMI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Desclés, Aurelien Arena |
Toward a Formal Ontology of Time from Aspects. |
FLAIRS Conference |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luc Schneider |
The Logic of the Ontological Square. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
particulars, substances, Universals, predication, modes, copula, formal ontology |
| 1 | Kleinner S. F. Oliveira, Karin Breitman, Toacy Cavalcante de Oliveira |
Ontology Aided Model Comparison. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giancarlo Guizzardi |
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehul Bhatt, Frank Dylla, Joana Hois |
Spatio-terminological Inference for the Design of Ambient Environments. |
COSIT |
2009 |
DBLP DOI BibTeX RDF |
Spatio-Terminological Reasoning, Smart Environment Design, Ontology, Architecture, Requirements Modeling |
| 1 | Martin Doerr, Fred Freitas, Giancarlo Guizzardi, Hyoil Han |
Preface to MOST-ONISW 2009. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel G. Blanchard, Riichiro Mizoguchi, Susanne P. Lajoie |
Addressing the Interplay of Culture and Affect in HCI: An Ontological Approach. |
HCI |
2009 |
DBLP DOI BibTeX RDF |
Adaptation, Awareness, Affective Computing, Ontology Engineering, Cultural Computing |
| 1 | Koji Tashima, Naoko Izumi, Naoki Yonezaki |
A Quantitative Semantics of Formal Ontology of Drug Interactions. |
BIOCOMP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carola Eschenbach, Michael Grüninger (eds.) |
Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008 |
FOIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jean-Pierre Desclés |
Towards a Bridge between Cognitive Linguistics and Formal Ontology. |
FLAIRS Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Wandelt, Ralf Möller |
Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Schneider |
The Ontological Square and its Logic. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin R. Batchelor |
An Upper-Level Ontology for Chemistry. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Ceusters, Maria Capolupo, Georges De Moor, Jos Devlies |
Introducing Realist Ontology for the Representation of Adverse Events. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena Wood, Antony Galton |
A New Classification of Collectives. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Gaio |
Granular Models for Vague Predicates. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiana Panayiotou, Brandon Bennett |
Cognitive Context and Arguments from Ontologies for Learning. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Smith |
Ontology (Science). |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Ghidini, Luciano Serafini, Sergio Tessaris |
Complexity of Reasoning With Expressive Ontology Mappings. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joana Hois, Oliver Kutz |
Counterparts in Language and Space - Similarity and [Sscr ]-Connection. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Haythem O. Ismail |
On the Syntax and Semantics of Effect Axioms. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rokia Bendaoud, Amedeo Napoli, Yannick Toussaint |
A proposal for an Interactive Ontology Design Process based on Formal Concept Analysis. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Bennett, David Mallenby, Allan Third |
An Ontology for Grounding Vague Geographic Terms. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Vieu, Stefano Borgo, Claudio Masolo |
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Loebe, Heinrich Herre |
Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boyan Brodaric, Femke Reitsma, Yi Qiang |
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariano Fernández-López, Asunción Gómez-Pérez, María del Carmen Suárez-Figueroa |
Selecting and Customizing a Mereology Ontology for its Reuse in a Pharmaceutical Product Ontology. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pinar Wennerberg, Sonja Zillner, Manuel Möller, Paul Buitelaar, Michael Sintek |
KEMM: A Knowledge Engineering Methodology in the Medical Domain. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Janowicz, Patrick Maué, Marc Wilkes, Sven Schade, Franca Scherer, Matthias Braun, Sören Dupke, Werner Kuhn |
Similarity as a Quality Indicator in Ontology Engineering. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Uschold |
Ontology-Driven Information Systems: Past, Present and Future. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür L. Özçep |
Towards Principles for Ontology Integration. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaihua Fu, Anthony G. Cohn |
Utility Ontology Development with Formal Concept Analysis. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Niepert, Cameron Buckner, Jaimie Murdock, Colin Allen |
InPhO: a system for collaboratively populating and extending a dynamic ontology. |
JCDL |
2008 |
DBLP DOI BibTeX RDF |
information extraction, answer set programming, digital humanities, formal ontology, dynamic ontology |
| 1 | Mohammad Nazir Ahmad, Robert M. Colomb, Shazia Wasim Sadiq |
A Relevant Portion of an Ontology: Defining a System of ED Rules Using a Part-Whole Relationship. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
ontology server, part-whole, ODM, ontology, UML |
| 1 | Gerard de Melo, Fabian M. Suchanek, Adam Pease |
Integrating YAGO into the Suggested Upper Merged Ontology. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne |
A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
formal policy processing, ontologies, automated reasoning |
| 1 | Ales Horák, Piek Vossen, Adam Rambousek |
A Distributed Database System for Developing Ontological and Lexical Resources in Harmony. |
CICLing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Clark |
Knowledge Patterns. |
EKAW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos André Gonçalves, Edward A. Fox, Layne T. Watson |
Towards a digital library theory: a formal digital library ontology. |
Int. J. on Digital Libraries |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Borgo |
How Formal Ontology can help Civil Engineers. |
Ontologies for Urban Development |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Souhei Ito, Shigeki Hagihara, Naoki Yonezaki |
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. |
EJC |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 202 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")