Filters








441 Hits in 3.3 sec

Navigating the EL Subsumption Hierarchy

Francesco Kriegel
2021 International Workshop on Description Logics  
The EL subsumption hierarchy consists of all EL concept descriptions and is partially ordered by subsumption.  ...  In order to navigate within this hierarchy, one can go up to subsumers and down to subsumees. We analyze how smallest steps can be made.  ...  The author further greatly appreciates Franz Baader's valuable comments that helped to improve this article. Also, the author thanks the anonymous reviewers for their comments and questions.  ... 
dblp:conf/dlog/Kriegel21 fatcat:rftswbz2qnb4xa7i2viy6gmi4y

Lifting EMMeT to OWL Getting the Most from SKOS [chapter]

Bijan Parsia, Tahani Alsubait, Jared Leo, Veronique Malaisé, Sophie Forge, Michelle Gregory, Andrew Allen
2016 Lecture Notes in Computer Science  
SKOS is targeted at "cognitive" or "navigational" representations, that is, thesauri, controlled vocabularies, and the like. OWL is targeted at logical representations of conceptual knowledge.  ...  Now, of course, the true is sometimes useful and the useful often true, thus SKOS and OWL overlap to some degree.  ...  After all, it is a standard to use the transitive reduct of an OWL class hierarchy as a navigational structure -this is exactly what the Protg class hierarchy view does.  ... 
doi:10.1007/978-3-319-33245-1_7 fatcat:n3axpwoyxvaxbmb4na6efqvt2y

On labeling schemes for the semantic web

Vassilis Christophides, Dimitris Plexousakis, Michel Scholl, Sotirios Tourtounis
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP).  ...  We a d v ocate for the use of labeling schemes for modeling these hierarchies in order to e ciently answer queries such as subsumption check, descendants, ancestors or nearest common ancestor, which usually  ...  .' at each l e v el (e.g.,`1.2').  ... 
doi:10.1145/775152.775230 dblp:conf/www/ChristophidesPST03 fatcat:qu6vbj2vvve4pigbcny2ivfbzq

On labeling schemes for the semantic web

Vassilis Christophides, Dimitris Plexousakis, Michel Scholl, Sotirios Tourtounis
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP).  ...  We a d v ocate for the use of labeling schemes for modeling these hierarchies in order to e ciently answer queries such as subsumption check, descendants, ancestors or nearest common ancestor, which usually  ...  .' at each l e v el (e.g.,`1.2').  ... 
doi:10.1145/775228.775230 fatcat:ixzhjcenqragbkgjnflsqb7cde

A Study on the Correspondence between FCA and ELI Ontologies

Melisachew Wudage Chekol, Amedeo Napoli
2013 International Semantic Web Conference  
The description logic EL has been used to support ontology design in various domains, and especially in biology and medecine. EL is known for its efficient reasoning and query answering capabilities.  ...  This simplifies the query answering task and shows that some basic semantic web tasks can be improved when considered from an FCA perspective.  ...  As mentioned in that paper, a few of these benefits ranges from knowledge discovery, ontology completion, to computing subsumption hierarchy of least common subsumers.  ... 
dblp:conf/semweb/ChekolN13a fatcat:3k23sdx44rckfb7pzkel5sdrne

Typed feature structures and design space exploration

R. WOODBURY, A. BURROW, S. DATTA, T-W. CHANG
1999 Artificial intelligence for engineering design, analysis and manufacturing  
Subsidiary metaphors relevant to design space explorers are generation, navigation and reuse.  ...  They assist designers in creating alternative designs by structuring the process of design creation in a space of alternatives.  ...  Acknowledgements The authors would like to acknowledge the support given by the Australian Re-  ... 
doi:10.1017/s0890060499134048 fatcat:4n4m4yiafnhtrc7jy5yrunvge4

SNOMED reaching its adolescence: Ontologists' and logicians' health check

Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker
2009 International Journal of Medical Informatics  
All proposed modifications can be expressed by the computationally tractable description logic EL ++ . (S. Schulz). opportunity to bring together the following tendencies:  ...  Finally, new approaches are proposed for modeling part-whole hierarchies, as well as the integration of qualifier relations into a unified framework.  ...  Additionally, the first author was supported by a research fellowship (550830/05-7) from the Brazilian Research Council (CNPq/Brazil).  ... 
doi:10.1016/j.ijmedinf.2008.06.004 pmid:18789754 fatcat:tmkxa4ptmjcrpkmkuggj64wd54

Semantic data containers for realizing the full potential of system wide information management

Bernd Neumayr, Eduard Gringinger, Christoph G. Schuetz, Michael Schrefl, Scott Wilson, Audun Vennesland
2017 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)  
In order to unleash the full potential of System Wide Information Management (SWIM), the BEST project (Achieving the Benefits of SWIM by Making Smart Use of Semantic Technologies) proposes the semantic  ...  container approach which shields service and application developers from the complexities of data provisioning in Air Traffic Management (ATM).  ...  For some ontologies, the subsumption hierarchy of concepts can be generated automatically. For other ontologies, an external reasoner must compute subsumption hierarchies.  ... 
doi:10.1109/dasc.2017.8102002 fatcat:743enoxyafbn3lnr7rbgsbkupe

A novel approach to ontology classification

Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos
2012 Journal of Web Semantics  
Ontology classification-the computation of the subsumption hierarchies for classes and properties-is a core reasoning service provided by all OWL reasoners known to us.  ...  A popular algorithm for computing the class hierarchy is the so-called Enhanced Traversal (ET) algorithm.  ...  Acknowledgements The presented work is funded by the EPSRC project HermiT: Reasoning with Large Ontologies. The evaluation has been performed on computers of  ... 
doi:10.1016/j.websem.2011.12.007 fatcat:pt2cpe2n4beu7evfonvrnylqle

A Novel Approach to Ontology Classification

Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos
2012 Social Science Research Network  
Ontology classification-the computation of the subsumption hierarchies for classes and properties-is a core reasoning service provided by all OWL reasoners known to us.  ...  A popular algorithm for computing the class hierarchy is the so-called Enhanced Traversal (ET) algorithm.  ...  Acknowledgements The presented work is funded by the EPSRC project HermiT: Reasoning with Large Ontologies. The evaluation has been performed on computers of  ... 
doi:10.2139/ssrn.3198958 fatcat:ee2mcjtsbnfcdictirj35xcfke

The Incredible ELK

Yevgeny Kazakov, Markus Krötzsch, František Simančík
2013 Journal of automated reasoning  
of the OWL EL profile of the Web ontology language OWL.  ...  Due to its favorable computational properties and relevance to existing ontologies, EL has become the language of choice for terminological reasoning in biomedical applications, and has formed the basis  ...  The first author is supported by the German Research Council (DFG).  ... 
doi:10.1007/s10817-013-9296-3 fatcat:vgk47zats5dqjfy6rcgihwb3ue

Hierarchic Fuzzy Approach Applied in the Development of an Autonomous Architecture for Mobile Agents [chapter]

Márcio Mendonça, Esdras Salgado da Silva, Karina Assolari Takano, Mauricio Iwama Takano, Lúcia Valéria Ramos de Arruda
2014 IFIP Advances in Information and Communication Technology  
The system establishes a viable route in a scenario with obstacles. Simulations in virtual environment are used to ensure the autonomy of the developed controller.  ...  The objective of the low cost controller is to regulate an opensource autonomous explorer robot, which moves between two pre-established points.  ...  The authors would like to thank CNPq and Araucaria Foundation of the State of Paraná, Brazil, for financial support.  ... 
doi:10.1007/978-3-662-44654-6_19 fatcat:ci2ukuyncvcepgxpjzji3x2foe

Linking LOINC and SNOMED CT: A Cooperative Approach to Enhance Each Terminology and Facilitate Co-usage

Suzanne L. Santamaria, Farzaneh Ashrafi, Kent A. Spackman
2014 International Conference on Biomedical Ontology  
ACKNOWLEDGMENT The US Department of Veterans Affairs and the US National Library of Medicine provide funding support for this work.  ...  We acknowledge Kaiser Permanente for their contributions in the initial mapping and ongoing problem investigation.  ...  They found using DL in LOINC can lead to enhanced error detection, navigation, subsumption and maintenance.  ... 
dblp:conf/icbo/SantamariaAS14 fatcat:x5xa7fm5afas3p7zcijmmbasf4

A Graph-Based Approach for Classifying OWL 2 QL Ontologies

Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo
2013 International Workshop on Description Logics  
Ontology classification is the reasoning service that computes all subsumption relationships inferred in an ontology between concept, role, and attribute names in the ontology signature.  ...  of the transitive closure of the graph.  ...  This research has been partially supported by the EU under FP7 project Optique (grant n. FP7-318338), and by the EU under FP7-ICT project ACSI (grant no. 257593).  ... 
dblp:conf/dlog/LemboSS13 fatcat:crx5bq4csvdytjjmx7wmnm4enm

Building up and making use of corporate knowledge repositories [chapter]

Gian Piero Zarri, Saliha Azzam
1997 Lecture Notes in Computer Science  
In this case, we suggest that the construction of effectively usable corporate knowledge repositories can be achieved with the translation of the original documents into some type of conceptual format.  ...  The "metadocuments" obtained in this way can then be stored into a knowledge repository (knowledge base) and, given their role of advanced document models, all the traditional functions of information  ...  From a formal point of view, we note that, e.g. : a) (SPECIF el a b) = (SPECIF el b b) (ENUM el e2) = (el AND e2 AND ---, (COORD el The first formula says that the order of the properties a, b .... associated  ... 
doi:10.1007/bfb0026793 fatcat:h7gvwk2275cvnbkbldcgiqsx2e
« Previous Showing results 1 — 15 out of 441 results