In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class A is a subclass of another class B (and so B is a superclass of A).In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker. To summarize the relations, there are:
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - علاقة Is-a (ar)
- Is-a (en)
- Is-a (ja)
- Is-a (uk)
- Is-a (zh)
|
| rdfs:comment
| - 知識表現、オブジェクト指向プログラミング、オブジェクト指向設計では、is-aとは、あるクラスBはもう一つのクラスAのサブクラスである(また、AはBのスーパークラスである)という関係である。 言い換えれば、"BはAである"は通常、概念Bは概念Aの特化であり、概念Aは概念Bのであることを意味する。例として、「フルーツ」は「リンゴ」、「オレンジ」、「マンゴー」などの汎化である。リンゴはフルーツである(is-a) (Apple is a fruit.)と言える。 オブジェクト指向プログラミングではis-a関係は継承という概念の中で使われる。たとえばリンゴは、「果肉に種が入った植物」に属するというような、フルーツすべてに共通するプロパティをすべて継承するといって差し支えない。 is-a関係とは、異なる種類の階層の性質をもつ関係にhas-aがある。オブジェクトと従属するオブジェクトの論理関係がis-aか、それともhas-aなのか、いつもはっきりと決定できるものではない。この曖昧さが、is-aのようなメタ言語的な用語を生み出した。 (ja)
- 在知识表示、面向对象程序设计與面向对象设计的領域裡，is-a（英語：subsumption，包容）指的是在抽象（比如類別或类型）之间體現的包容關係。例如類別D是另一個類別B的子類別（類別B是類別D的父類別），則D被包容在B內。換句話說，通常"D is a B"指的是，概念體D物是概念體B物的，而概念體B物是概念體D物的广泛化。舉例來說，水果是苹果、橘子、芒果與其他水果的广泛化。 在面向对象程序设计裡，is-a類別關係是在繼承概念的背景之下所形成的。比如說，苹果繼承（英語：inherit）水果的所有的屬性。is-a對比於，後者是以整體-附屬階層關係所組成的。在真實世界裡設計一個模型時（例如计算机程序），尤其是物件與它的下一層從屬物件，在has-a與is-a兩者的關係上容易產生概念上的錯誤。is-a還可以是對比於，详情可參考类型和个例的区别。 (zh)
- في تمثيل المعرفة، البرمجة والتصميم الكينوني (انظر بنية البرنامج الكينوني)، ((is_a or is a)) هي علاقة من العلاقات الفرعية خاصية التجريد كما في (الكلاسات، الفئات)، حيث يكون كلاس A هو فئة فرعية من كلاس B أخرى (وبالتالي فإن B هي فئة فائقة من A). بمعنى آخر، النوع A هو نوع فرعي من النوع B عندما تتضمن مواصفات A مواصفات B. أي أن أي كائن (أو فئة) يفي بمواصفات A يفي أيضًا بمواصفات B في نفس الوقت، لأن مواصفات B أضعف. لتلخيص العلاقات لدينا: ينشئ رمز بايثون التالي علاقة وراثية صريحة بين الفئتين B و A ، حيث يكون B فئة فرعية ونوعًا فرعيًا من A ، ويمكن استخدامه ك A حيثما كان مطلوبًا B. (ar)
- In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class A is a subclass of another class B (and so B is a superclass of A).In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker. To summarize the relations, there are: (en)
- В представленні знань, об'єктно-орієнтованому програмуванні, is-a це тип відношень між деякими класами D та B, коли D є підкласом (нащадком) класу B (B, в свою чергу, є базовим класом або суперкласом класу D) Іншими словами, коли говорять «D is-a B» зазвичай мають на увазі, що D — спеціалізація B, а B — узагальнення D. Наприклад, поняття «фрукт» є узагальненням для понять «яблуко», «апельсин» та інших. Можна говорити, що яблуко is-a фрукт. Відношення is-a протиставляється відношенню has-a, яке утворює дерево відношень — , або партономію. (uk)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - في تمثيل المعرفة، البرمجة والتصميم الكينوني (انظر بنية البرنامج الكينوني)، ((is_a or is a)) هي علاقة من العلاقات الفرعية خاصية التجريد كما في (الكلاسات، الفئات)، حيث يكون كلاس A هو فئة فرعية من كلاس B أخرى (وبالتالي فإن B هي فئة فائقة من A). بمعنى آخر، النوع A هو نوع فرعي من النوع B عندما تتضمن مواصفات A مواصفات B. أي أن أي كائن (أو فئة) يفي بمواصفات A يفي أيضًا بمواصفات B في نفس الوقت، لأن مواصفات B أضعف. يجب أن تكون العلاقة is-a متناقضة في مع علاقة (has_a or has a) بين أنواع (الكلاسات)؛ إن الخلط بين العلاقات هو has-a و is-a هو خطأ شائع عند تصميم نموذج (على سبيل المثال، برنامج كمبيوتر) للعلاقة الواقعية بين كائن ما ومرؤوسه. ويمكن لهذه العلاقة ان تتعارض مع مثيلاتها من العلاقات الباقية والتي يمكن أن تكون بين الكائنات (حالات) وأنواع (الكلاسات): انظر «من نوع رمزي التمييز» و «علاقات من نوع رمزي». لتلخيص العلاقات لدينا:
* Hyperonym - الاختصار (supertype – subtype) العلاقات بين الكلاسات التي تحدد التسلسل الهرمي للتصنيف، حيث
* بالنسبة لعلاقة الاستيعاب: الاختصار (النوع الفرعي، الفئة الفرعية) له علاقة من نوع (is-a) ويكون الاختصار (supertype ، superclass)؛
* holonym - العلاقات المرادفة وتأتي بالتسلسل الهرمي التالي (كامل / الكيان / جزء الحاوية / المكون / العضو) بين الأنواع (الفئات) التي تحدد التسلسل الهرمي التملك، حيث تكون
* لعلاقة تجميع في التسلسل الهرمي وهي:
* وholonym (كامل) meronym لها (جزء)،
* لعلاقة تكوين (أي بالملكية):
* المرادف (المكون) له جزء من العلاقة مع الاسم المستعار (الكيان)،
* لعلاقة احتواء:
* مرادف (عضو) له علاقة عضو مع اسمه المختصر (الحاوية)؛
* العلاقات بين المفهوم والكائن (النوع المميز) بين الأنواع (الفئات) والكائنات (الحالات)، حيث
* الرمز المميز (كائن) له علاقة مثيل بنوعه (الفئة). يتيح التصنيف الفرعي استبدال نوع معين بنوع أو تجريد النوع الآخر. التصنيف الفرعي يكون لإنشاء علاقة is-a بين نوع فرعي وبعض التجريد القائم، إما علنيا أو ضمنيا، اعتمادا على دعم اللغة. يمكن التعبير عن العلاقة بشكل صريح عبر الوراثة باللغات التي تدعم الوراثة كآلية تصنيف فرعي. ينشئ كود C ++ التالي علاقة وراثية صريحة بين الفئتين B و A ، حيث B هي فئة فرعية ونوع فرعي اخر من A ، ويمكن استخدامها ك A حيثما يتم تحديد B (عبر مرجع أو مؤشر أو الكائن نفسه)). class A{ public: void DoSomethingALike const {}};class B : public A{ public: void DoSomethingBLike const {}};void UseAnA(A const& some_A){ some_A.DoSomethingALike;}void SomeFunc{ B b; UseAnA(b); // b can be substituted for an A.} ينشئ رمز بايثون التالي علاقة وراثية صريحة بين الفئتين B و A ، حيث يكون B فئة فرعية ونوعًا فرعيًا من A ، ويمكن استخدامه ك A حيثما كان مطلوبًا B. class A: def do_something_a_like(self): passclass B(A): def do_something_b_like(self): passdef use_an_a(some_a): some_a.do_something_a_likedef some_func: b = B use_an_a(b) # b can be substituted for an A. المثال التالي، النوع (أ) هو نوع «عادي»، والنوع (النوع (أ)) هو نوع من بيانات. على الرغم من توزيع جميع الأنواع على نفس نوع البيانات الوصفية (PyType_Type ، وهو أيضًا نوعها الخاص)، إلا أن هذا ليس شيء متطلب. نوع الفصول الكلاسيكية، والمعروف باسم الأنواع. ClassType ، يمكن أيضًا اعتباره نوعًا متميزًا. >>> a = 0>>> type(a)>>> type(type(a))>>> type(type(type(a)))>>> type(type(type(type(a)))) في Java ، هي علاقة بين معلمات لفئة أو واجهة واحدة، ومعلمات النوع لفئة أخرى يتم تحديدها بواسطة الجمل الموسعة وتنفذ. باستخدام فئات المجموعات، المصفوفة ، ترث القائمة ووبالتالي توسع المجموعة . لذا فإن المصفوفة من نوع string هو نوع فرعي من القائمة ، وهو نوع فرعي من المجموعة . يتم الحفاظ على علاقة الأنواع الفرعية والأنواع تلقائيًا. عندما نحدد واجهة، PayloadList ، تربط قيمة اختيارية من النوع العام P بكل عنصر، قد يبدو إعلانه كما يلي: interface PayloadList<E, P> extends List<E> { void setPayload(int index, P val); ...} المعلمات التالية من PayloadList هي أنواع فرعية من القائمة <سلسلة>: PayloadList<String, String>PayloadList<String, Integer>PayloadList<String, Exception> يشرح مبدأ استبدال Liskov خاصية، «إذا كان لكل كائن o1 من النوع S يوجد كائن o2 من النوع T بحيث لا يتغير سلوك P لجميع البرامج P المحددة من حيث T ، عندما يتم استبدال o1 بـ o2 ثم S هو نوع فرعي من T». يوضح المثال التالي انتهاك LSP. void DrawShape(const Shape& s){ if (typeid(s) == typeid(Square)) DrawSquare(static_cast<Square&>(s)); else if (typeid(s) == typeid(Circle)) DrawCircle(static_cast<Circle&>(s));} من الواضح أن الدالة DrawShape تم تنسيقها بشكل سيئ. يجب أن تعرف كل فئة مشتقة من فئة الشكل. أيضا، يجب تغييره كلما تم إنشاء فئة فرعية جديدة من الشكل. في التصميم الموجه للكائنات فيما يلي مثال أكثر دقة على انتهاك LSP: class Rectangle{ public: void SetWidth(double w) { itsWidth = w; } void SetHeight(double h) { itsHeight = h; } double GetHeight const { return itsHeight; } double GetWidth const { return itsWidth; } private: double itsWidth; double itsHeight;}; يعمل هذا بشكل جيد ولكن عندما يتعلق الأمر بالفئة المربعة، التي ترث فئة المستطيل، فإنها تنتهك LSP على الرغم من أن العلاقة هي علاقة بين المستطيل والمربع. لأن المربع مستطيل. يتجاوز المثال التالي وظيفتين، Setwidth و SetHeight ، لإصلاح المشكلة. لكن إصلاح الرمز يعني أن التصميم معيب. public class Square : Rectangle{ public: virtual void SetWidth(double w); virtual void SetHeight(double h);};void Square::SetWidth(double w){ Rectangle::SetWidth(w); Rectangle::SetHeight(w);}void Square::SetHeight(double h){ Rectangle::SetHeight(h); Rectangle::SetWidth(h);} المثال التالي، الوظيفة g تعمل فقط لفئة المستطيل ولكن ليس لـ Square ، وبالتالي تم انتهاك مبدأ الإغلاق المفتوح. void g(Rectangle& r){ r.SetWidth(5); r.SetHeight(4); assert(r.GetWidth * r.GetHeight) == 20);} (ar)
- In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class A is a subclass of another class B (and so B is a superclass of A).In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker. The is-a relationship is to be contrasted with the has-a (has_a or has a) relationship between types (classes); confusing the relations has-a and is-a is a common error when designing a model (e.g., a computer program) of the real-world relationship between an object and its subordinate. The is-a relationship may also be contrasted with the instance-of relationship between objects (instances) and types (classes): see Type–token distinction. To summarize the relations, there are:
* hyperonym–hyponym (supertype/superclass–subtype/subclass) relations between types (classes) defining a taxonomic hierarchy, where
* for a subsumption relation: a hyponym (subtype, subclass) has a type-of (is-a) relationship with its hyperonym (supertype, superclass);
* holonym–meronym (whole/entity/container–part/constituent/member) relations between types (classes) defining a possessive hierarchy, where
* for an aggregation (i.e. without ownership) relation:
* a holonym (whole) has a has-a relationship with its meronym (part),
* for a composition (i.e. with ownership) relation:
* a meronym (constituent) has a part-of relationship with its holonym (entity),
* for a containment relation:
* a meronym (member) has a member-of relationship with its holonym (container);
* concept–object (type–token) relations between types (classes) and objects (instances), where
* a token (object) has an instance-of relationship with its type (class). (en)
- 知識表現、オブジェクト指向プログラミング、オブジェクト指向設計では、is-aとは、あるクラスBはもう一つのクラスAのサブクラスである(また、AはBのスーパークラスである)という関係である。 言い換えれば、"BはAである"は通常、概念Bは概念Aの特化であり、概念Aは概念Bのであることを意味する。例として、「フルーツ」は「リンゴ」、「オレンジ」、「マンゴー」などの汎化である。リンゴはフルーツである(is-a) (Apple is a fruit.)と言える。 オブジェクト指向プログラミングではis-a関係は継承という概念の中で使われる。たとえばリンゴは、「果肉に種が入った植物」に属するというような、フルーツすべてに共通するプロパティをすべて継承するといって差し支えない。 is-a関係とは、異なる種類の階層の性質をもつ関係にhas-aがある。オブジェクトと従属するオブジェクトの論理関係がis-aか、それともhas-aなのか、いつもはっきりと決定できるものではない。この曖昧さが、is-aのようなメタ言語的な用語を生み出した。 (ja)
- В представленні знань, об'єктно-орієнтованому програмуванні, is-a це тип відношень між деякими класами D та B, коли D є підкласом (нащадком) класу B (B, в свою чергу, є базовим класом або суперкласом класу D) Іншими словами, коли говорять «D is-a B» зазвичай мають на увазі, що D — спеціалізація B, а B — узагальнення D. Наприклад, поняття «фрукт» є узагальненням для понять «яблуко», «апельсин» та інших. Можна говорити, що яблуко is-a фрукт. В об'єктно-орієнтованому програмуванні відношення is-a застосовується у контексті наслідування. Можна сказати, що «яблуко» може наслідувати всі властивості, які є у всіх фруктів. Відношення is-a протиставляється відношенню has-a, яке утворює дерево відношень — , або партономію. У процесі конструювання моделі реального світу (наприклад, комп'ютерна програма) розповсюдженою помилкою є невірний вибір між відношеннями has-a та is-a. (uk)
- 在知识表示、面向对象程序设计與面向对象设计的領域裡，is-a（英語：subsumption，包容）指的是在抽象（比如類別或类型）之间體現的包容關係。例如類別D是另一個類別B的子類別（類別B是類別D的父類別），則D被包容在B內。換句話說，通常"D is a B"指的是，概念體D物是概念體B物的，而概念體B物是概念體D物的广泛化。舉例來說，水果是苹果、橘子、芒果與其他水果的广泛化。 在面向对象程序设计裡，is-a類別關係是在繼承概念的背景之下所形成的。比如說，苹果繼承（英語：inherit）水果的所有的屬性。is-a對比於，後者是以整體-附屬階層關係所組成的。在真實世界裡設計一個模型時（例如计算机程序），尤其是物件與它的下一層從屬物件，在has-a與is-a兩者的關係上容易產生概念上的錯誤。is-a還可以是對比於，详情可參考类型和个例的区别。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)