Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Turhan AY"'
Autor:
Penaloza, R, Turhan AY
Explaining consequences obtained from ontological reasoning is an active research topic. Unlike the computation of the cause of the consequence, the explication of the cause has received little attention so far. However, as many ontologies are design
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::ae09c9b017361f8196aa75ee6c7dbba7
http://hdl.handle.net/10281/394733
http://hdl.handle.net/10281/394733
In Description Logic (DL) knowledge bases (KBs) information is typically captured by crisp concepts. For many applications, querying the KB by crisp query concepts is too restrictive. A controlled way of gradually relaxing a query concept can be achi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::2ac5917c991ae2a2b61bedfccc35422a
http://hdl.handle.net/10281/233835
http://hdl.handle.net/10281/233835
In the context of Description Logics (DLs) concrete domains allow to model concepts and facts by the use of concrete values and predicates between them. For reasoning in the DL ALCALC with general TBoxes concrete domains may cause undecidability. Und
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::6952de3affeb6fa2d6810624f27e67eb
http://hdl.handle.net/10281/257433
http://hdl.handle.net/10281/257433
Publikováno v:
Journal of Petroleum Exploration and Production Technology, Vol 9, Iss 1, Pp 141-157 (2018)
Abstract The Neogene Kağızman–Tuzluca Basin is located in the NE Anatolia and extends eastward into Armenia Oktemberian Basin. The Halıkışlak (Late Oligocene), Turabi and Tuzluca formations (Lower–Middle Miocene) are time equivalents of the
Externí odkaz:
https://doaj.org/article/be0129f1f6b04e0f93c984c3b60954ad
Publikováno v:
Bulletin of the Mineral Research and Exploration, Vol 139, Iss 139, Pp 1-15 (2009)
Trakya havzasında yüzeyleyen Soğucak formasyonu genelde resifal kireçtaşı özelliğinde olup, havzadaki petrol arama çalışmalarında hedef seviyelerden birisini teşkil eder. Bu birim bazı alanlarda doğrudan temel kayaları üzerine uyumsu
Externí odkaz:
https://doaj.org/article/367a3515d9624e359b0bc90431f51d48
Publikováno v:
Bulletin of the Mineral Research and Exploration, Iss 135, Pp 83-85 (2007)
Trakya ve yakın çevresinde havza kenarı karbonatları olarak geniş alanlarda yüzlekler veren Orta Eosen yaşlı kireçtaşları Soğucak Formasyonu olarak adlandırılmış ve haritalanmıştır (Holmes, 1961; Sümengen ve diğerleri, 1987). Ayr
Externí odkaz:
https://doaj.org/article/fd7d4c61f3ae4cf89163e52c1233c135
Publikováno v:
Bulletin of the Mineral Research and Exploration, Vol 117, Iss 117, Pp 1-2 (1995)
Liyas yaşlı Üzümdere formasyonu, bölgedeki paraotokton istifin en yaşlı birimi olup Anamas-Akseki karbonat platformunda yer alır Formasyonu oluşturan litoloji birimleri başta kumtaşlan olmak üzere sırasıyla kireçtaşı, kiltaşı ve ç
Externí odkaz:
https://doaj.org/article/ea29337c634a49f1a525d217e7e6207a
Autor:
Rafael Peñaloza
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030221010
Description Logic, Theory Combination, and All That
Description Logic, Theory Combination, and All That
Axiom pinpointing refers to the task of highlighting (or pinpointing) the axioms in an ontology that are responsible for a given consequence to follow. This is a fundamental task for understanding and debugging very large ontologies. Although the nam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e808638d62101576eeb6ee83f1439ea
http://hdl.handle.net/10281/268045
http://hdl.handle.net/10281/268045
Publikováno v:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c8adc9ef5f3d3d826bda75470e1c795
http://www.scopus.com/inward/record.url?eid=2-s2.0-84921056602&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84921056602&partnerID=MN8TOARS